CVS: sml-dist/src/compiler/ElabData/types types.sig, 1.2, 1.2.20.1 types.sml, 1.2.20.1, 1.2.20.2

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

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

Index: types.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/types/types.sig,v
retrieving revision 1.2
retrieving revision 1.2.20.1
diff -C2 -d -r1.2 -r1.2.20.1
*** types.sig	15 Aug 2001 21:16:56 -0000	1.2
--- types.sig	28 Aug 2006 22:57:53 -0000	1.2.20.1
***************
*** 32,36 ****
     * specific types used by those phases. In any case, we should figure
     * out how to get rid of it altogether.) *)
!   | TV_MARK of int
  
  and tycpath
--- 32,36 ----
     * specific types used by those phases. In any case, we should figure
     * out how to get rid of it altogether.) *)
!   | TV_MARK of int * int
  
  and tycpath

Index: types.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/ElabData/types/types.sml,v
retrieving revision 1.2.20.1
retrieving revision 1.2.20.2
diff -C2 -d -r1.2.20.1 -r1.2.20.2
*** types.sml	3 Aug 2006 03:11:32 -0000	1.2.20.1
--- types.sml	28 Aug 2006 22:57:53 -0000	1.2.20.2
***************
*** 36,40 ****
    | SCHEME of bool (* overloaded operator type scheme variable
  		   * arg is true if must be instantiated to equality type *)
!   | TV_MARK of int
  
  and tycpath                        
--- 36,40 ----
    | SCHEME of bool (* overloaded operator type scheme variable
  		   * arg is true if must be instantiated to equality type *)
!   | TV_MARK of int * int
  
  and tycpath                        


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