CVS: sml-dist/src/compiler/FLINT/kernel lty.sml, 1.1.2.2, 1.1.2.3

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

Modified Files:
      Tag: primop-branch-2
	lty.sml 
Log Message:
completed prototype kind checker

Index: lty.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/lty.sml,v
retrieving revision 1.1.2.2
retrieving revision 1.1.2.3
diff -C2 -d -r1.1.2.2 -r1.1.2.3
*** lty.sml	15 Aug 2006 23:01:32 -0000	1.1.2.2
--- lty.sml	16 Aug 2006 23:25:03 -0000	1.1.2.3
***************
*** 269,273 ****
                    (case Weak.strong w
                      of SOME (r as ref(h',t',_)) =>
!                         IF (h=h') andalso (eq {new=t, old=t'})
                          then (Array.update(table, i, revcat(l,z)); r)
                          else g(w::l, rest)
--- 269,273 ----
                    (case Weak.strong w
                      of SOME (r as ref(h',t',_)) =>
!                         if (h=h') andalso (eq {new=t, old=t'})
                          then (Array.update(table, i, revcat(l,z)); r)
                          else g(w::l, rest)


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