CVS: sml-dist/src/compiler/Elaborator/types typecheck.sml, 1.8.4.5, 1.8.4.6

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

Modified Files:
      Tag: primop-branch-2
	typecheck.sml 
Log Message:
fixes for new primop scheme

Index: typecheck.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/types/typecheck.sml,v
retrieving revision 1.8.4.5
retrieving revision 1.8.4.6
diff -C2 -d -r1.8.4.5 -r1.8.4.6
*** typecheck.sml	12 Jul 2006 15:43:13 -0000	1.8.4.5
--- typecheck.sml	13 Jul 2006 20:12:25 -0000	1.8.4.6
***************
*** 346,350 ****
                 val _ = unifyTy(nty, ty) 
              in (** (CONpat(dcon,insts),ty) *)
! 	       (CONpat(dcon, [ref (INSTANTIATED ty)]), ty)
             end
         | APPpat(dcon as DATACON{typ,rep,...},_,arg) =>
--- 346,350 ----
                 val _ = unifyTy(nty, ty) 
              in (** (CONpat(dcon,insts),ty) *)
! 	       (CONpat(dcon, insts), ty)
             end
         | APPpat(dcon as DATACON{typ,rep,...},_,arg) =>
***************
*** 419,423 ****
         | CONexp(dcon as DATACON{typ,...},_) => 
             let val (ty,insts) = instantiatePoly typ
!             in (CONexp(dcon, [ref (INSTANTIATED ty)]), ty)
             end
         | INTexp (_,ty) => (oll_push ty; (exp,ty))
--- 419,423 ----
         | CONexp(dcon as DATACON{typ,...},_) => 
             let val (ty,insts) = instantiatePoly typ
!             in (CONexp(dcon, insts), ty)
             end
         | INTexp (_,ty) => (oll_push ty; (exp,ty))



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