CVS: sml-dist/src/compiler/Elaborator/modules sigmatch.sml, 1.6.8.5, 1.6.8.6

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

Modified Files:
      Tag: primop-branch-2
	sigmatch.sml 
Log Message:
Moved matchTypes to TypeUtils

Index: sigmatch.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules/sigmatch.sml,v
retrieving revision 1.6.8.5
retrieving revision 1.6.8.6
diff -C2 -d -r1.6.8.5 -r1.6.8.6
*** sigmatch.sml	5 Jul 2006 21:31:22 -0000	1.6.8.5
--- sigmatch.sml	6 Jul 2006 03:07:18 -0000	1.6.8.6
***************
*** 294,298 ****
--- 294,301 ----
  Test for whether actual type was a polytype reduces to testing whether 
  actual type produces and generic instantiation metavariables (i.e. null test).
+ 
+   gk: compareTypes does pruning. 
  *)
+ 
    fun matchTypes (spec, actual, dinfo, name) : bool =
        TU.compareTypes(spec, actual)
***************
*** 878,885 ****
                                        VALvar{path=spath, typ=ref spectyp,
                                               access=acc, info=dinfo}
-                                     (** This seems a bit sensitive. Here, a VB 
-                                         is constructed with a VARexp field that
-                                         gets its instys from a matchTypes call 
-                                         -GK *)
                                      val vb = 
                                        A.VB {pat=A.VARpat specvar,
--- 881,884 ----


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