CVS: sml-dist/src/compiler/Elaborator/types typecheck.sml, 1.8.4.3, 1.8.4.4

Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/types
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv22820/src/compiler/Elaborator/types

Modified Files:
      Tag: primop-branch-2
	typecheck.sml 
Log Message:
revised primopid.sml/sig

Index: typecheck.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/types/typecheck.sml,v
retrieving revision 1.8.4.3
retrieving revision 1.8.4.4
diff -C2 -d -r1.8.4.3 -r1.8.4.4
*** typecheck.sml	20 Jun 2006 01:28:00 -0000	1.8.4.3
--- typecheck.sml	6 Jul 2006 20:10:33 -0000	1.8.4.4
***************
*** 411,419 ****
       case exp
        of VARexp(r as ref(VALvar{typ, ...}), _) =>
! 	  let val (ty, insts) = instantiatePoly(!typ)
! 	   in (VARexp(r, SOME ty), ty)
! 	  end
         | VARexp(refvar as ref(OVLDvar _),_) =>
!  	    (exp, ol_push (refvar, err region))
         | VARexp(r as ref ERRORvar, _) => (exp, WILDCARDty)
         | CONexp(dcon as DATACON{typ,...},_) => 
--- 411,419 ----
       case exp
        of VARexp(r as ref(VALvar{typ, ...}), _) =>
! 	   let val (ty, insts) = instantiatePoly(!typ)
! 	    in (VARexp(r, insts), ty)
! 	   end
         | VARexp(refvar as ref(OVLDvar _),_) =>
!  	   (exp, ol_push (refvar, err region))
         | VARexp(r as ref ERRORvar, _) => (exp, WILDCARDty)
         | CONexp(dcon as DATACON{typ,...},_) => 


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