CVS: sml-dist/src/compiler/ElabData/types typesutil.sig, 1.2.20.5, 1.2.20.6 typesutil.sml, 1.3.2.9, 1.3.2.10

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

Modified Files:
      Tag: primop-branch-2
	typesutil.sig typesutil.sml 
Log Message:
further primop hacking -- getting close to compile

Index: typesutil.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/types/typesutil.sig,v
retrieving revision 1.2.20.5
retrieving revision 1.2.20.6
diff -C2 -d -r1.2.20.5 -r1.2.20.6
*** typesutil.sig	10 Jul 2006 22:27:12 -0000	1.2.20.5
--- typesutil.sig	11 Jul 2006 23:00:41 -0000	1.2.20.6
***************
*** 28,31 ****
--- 28,32 ----
  
    val prune : Types.ty -> Types.ty
+   val pruneTyvar : Types.tyvar -> Types.ty
  
    val eqTyvar : Types.tyvar * Types.tyvar -> bool

Index: typesutil.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/types/typesutil.sml,v
retrieving revision 1.3.2.9
retrieving revision 1.3.2.10
diff -C2 -d -r1.3.2.9 -r1.3.2.10
*** typesutil.sml	10 Jul 2006 22:27:12 -0000	1.3.2.9
--- typesutil.sml	11 Jul 2006 23:00:41 -0000	1.3.2.10
***************
*** 162,165 ****
--- 162,171 ----
    | prune ty = ty
      
+ fun pruneTyvar(tv as ref(INSTANTIATED ty)) : ty =
+       let val pruned = prune ty
+        in tv := INSTANTIATED pruned; pruned
+       end
+   | pruneTyvar _ = bug "pruneTyvar: not an instantiated tyvar"
+ 
  fun eqTyvar(tv1: tyvar, tv2: tyvar) = (tv1 = tv2)
  



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