CVS: sml-dist/src/compiler/Semant/types typecheck.sml, 1.5.18.2, 1.5.18.3

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

Modified Files:
      Tag: primop-branch-2
	typecheck.sml 
Log Message:
fixup matchTypes in sigmatch, VALvar in many files

Index: typecheck.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Semant/types/typecheck.sml,v
retrieving revision 1.5.18.2
retrieving revision 1.5.18.3
diff -C2 -d -r1.5.18.2 -r1.5.18.3
*** typecheck.sml	20 Jun 2006 04:18:11 -0000	1.5.18.2
--- typecheck.sml	7 Jul 2006 21:06:11 -0000	1.5.18.3
***************
*** 412,416 ****
      let fun isrefdcon(DATACON{rep=A.REF,...}) = true
            | isrefdcon _ = false
!         fun iscast (VALvar { info, ... }) = InlInfo.isPrimCast info
            | iscast _ = false
  
--- 412,416 ----
      let fun isrefdcon(DATACON{rep=A.REF,...}) = true
            | isrefdcon _ = false
!         fun iscast (VALvar { prim, ... }) = PrimOpId.isPrimCast prim
            | iscast _ = false
  


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