CVS: sml-dist/src/compiler/FLINT/kernel lty.sml, 1.1.2.5, 1.1.2.6

Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv6236/src/compiler/FLINT/kernel

Modified Files:
      Tag: primop-branch-2
	lty.sml 
Log Message:
lty.sml typos

Index: lty.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/lty.sml,v
retrieving revision 1.1.2.5
retrieving revision 1.1.2.6
diff -C2 -d -r1.1.2.5 -r1.1.2.6
*** lty.sml	17 Aug 2006 21:00:37 -0000	1.1.2.5
--- lty.sml	17 Aug 2006 21:08:37 -0000	1.1.2.6
***************
*** 512,516 ****
        tc_injX(TC_FN(ks,tc_injX(TC_PROJ(tc_injX(TC_SEQ args), j))))
    | teEncodeBinder (Lamb(j,ks)) =
!       tc_injX(TC_PROJ(tc_injX(TC_FN(ks,tc_injX(TC_SUM[])), j)))
  
  fun teDecodeBinder (tyc : tyc) : teBinder =
--- 512,516 ----
        tc_injX(TC_FN(ks,tc_injX(TC_PROJ(tc_injX(TC_SEQ args), j))))
    | teEncodeBinder (Lamb(j,ks)) =
!       tc_injX(TC_PROJ(tc_injX(TC_FN(ks,tc_injX(TC_SUM[]))), j))
  
  fun teDecodeBinder (tyc : tyc) : teBinder =
***************
*** 530,534 ****
  
  fun teCons (b: teBinder, tenv: tycEnv) : tycEnv =
!     tc_injX(TC_PARROW(b,tenv))
  
  fun teDest (tenv: tycEnv) : (teBinder * tycEnv) option =
--- 530,534 ----
  
  fun teCons (b: teBinder, tenv: tycEnv) : tycEnv =
!     tc_injX(TC_PARROW(teEncodeBinder b, tenv))
  
  fun teDest (tenv: tycEnv) : (teBinder * tycEnv) option =


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642