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

Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv3076/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.4
retrieving revision 1.1.2.5
diff -C2 -d -r1.1.2.4 -r1.1.2.5
*** lty.sml	17 Aug 2006 20:36:49 -0000	1.1.2.4
--- lty.sml	17 Aug 2006 21:00:37 -0000	1.1.2.5
***************
*** 521,525 ****
                    (case tc_outX tyc''
                       of TC_SEQ(args) => Beta(j,args,ks)
!                       | bug "teDecodeBinder")
                | _ => bug "teDecodeBinder")
        | TC_PROJ(tyc',j) =>
--- 521,525 ----
                    (case tc_outX tyc''
                       of TC_SEQ(args) => Beta(j,args,ks)
!                       | _ => bug "teDecodeBinder")
                | _ => bug "teDecodeBinder")
        | TC_PROJ(tyc',j) =>
***************
*** 549,553 ****
               else if i = 1 then SOME binder
               else bug "index 0 in tycEnvLookup"
!          | NONE => NONE
  
  
--- 549,553 ----
               else if i = 1 then SOME binder
               else bug "index 0 in tycEnvLookup"
!          | NONE => NONE)
  
  


-------------------------------------------------------------------------
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