CVS: sml-dist/src/compiler/Elaborator/modules sigmatch.sml, 1.6.8.14, 1.6.8.15

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

Modified Files:
      Tag: primop-branch-2
	sigmatch.sml 
Log Message:
added further debugging instrumentation

Index: sigmatch.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules/sigmatch.sml,v
retrieving revision 1.6.8.14
retrieving revision 1.6.8.15
diff -C2 -d -r1.6.8.14 -r1.6.8.15
*** sigmatch.sml	28 Aug 2006 05:12:10 -0000	1.6.8.14
--- sigmatch.sml	28 Aug 2006 22:57:53 -0000	1.6.8.15
***************
*** 105,109 ****
  exception BadBinding
  
! val debugging = ElabControl.smdebugging (* ref false *)
  val showsigs = ref false
  
--- 105,109 ----
  exception BadBinding
  
! val debugging = ref true (* ElabControl.smdebugging *) (* ref false *)
  val showsigs = ref false
  
***************
*** 291,295 ****
  
    (* matchTypes checks whether the spec type is a generic instance of
!    * the actual type, and if so it returns two lists of type metavariables (tyvars):
     *  (1) the spec type generic instantiation metavariables (btvs),
     *  (2) the actual type generic instantiation metavariables (ptvs).
--- 291,296 ----
  
    (* matchTypes checks whether the spec type is a generic instance of
!    * the actual type, and if so it returns two lists of type metavariables
!    * (tyvars):
     *  (1) the spec type generic instantiation metavariables (btvs),
     *  (2) the actual type generic instantiation metavariables (ptvs).
***************
*** 297,302 ****
     * ptvs are always instantiated, and their instantiations constitute the
     * "parameters of instantiatiation" that make the actual type agree with
!    * the (generic instance of the) spec. The parameter instantiations will
!    * contain types containing occurrences of the bound tyvars.
     * If the actual is not a polytype, the ptvs list is nil. Similarly for
     * the spec type and btvs. If both spec and actual are monotypes, the
--- 298,303 ----
     * ptvs are always instantiated, and their instantiations constitute the
     * "parameters of instantiatiation" that make the actual type agree with
!    * the (generic instance of the) spec. The types in the parameter
!    * instantiations will contain occurrences of the bound tyvars.
     * If the actual is not a polytype, the ptvs list is nil. Similarly for
     * the spec type and btvs. If both spec and actual are monotypes, the
***************
*** 866,869 ****
--- 867,885 ----
                           val prim = PrimOpId.selValPrimFromStrPrim(rootPrim, actslot)
                           val (btvs,ptvs) = matchTypes(spectyp, acttyp, sym)
+                          val _ =
+                              (print "###SM: "; print (S.name sym); print "\n";
+                               debugPrint debugging
+                                          ("spectype", PPType.ppType statenv,
+                                          spectyp);
+                               debugPrint debugging 
+                                          ("acttyp", PPType.ppType statenv,
+                                          acttyp);
+                               debugPrint debugging
+                                   ("ptvs",
+                                  (fn pps =>
+                                      app (fn tv =>
+                                              PPType.ppType statenv pps (T.VARty tv))),
+                                  ptvs);
+                               print "\n")
  
                           val spath = SP.SPATH[sym]


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