CVS: sml-dist/src/compiler/FLINT/reps rttype.sml, 1.6.24.1, 1.6.24.2 typeoper.sml, 1.14.26.1, 1.14.26.2

Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/reps
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv28058/src/compiler/FLINT/reps

Modified Files:
      Tag: primop-branch-2
	rttype.sml typeoper.sml 
Log Message:
added datatype names to TC_FIX for printing tycs better

Index: rttype.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/reps/rttype.sml,v
retrieving revision 1.6.24.1
retrieving revision 1.6.24.2
diff -C2 -d -r1.6.24.1 -r1.6.24.2
*** rttype.sml	11 Aug 2006 20:42:24 -0000	1.6.24.1
--- rttype.sml	24 Aug 2006 19:28:40 -0000	1.6.24.2
***************
*** 295,299 ****
  	   | (TC_ABS tx) => loop tx
  	   | (TC_TOKEN(_,tx)) => loop tx           
! 	   | (TC_FIX((n,tx,ts), i)) => 
  		let val ntx = 
                        (case ts 
--- 295,299 ----
  	   | (TC_ABS tx) => loop tx
  	   | (TC_TOKEN(_,tx)) => loop tx           
! 	   | (TC_FIX{family={size=n,gen=tx,params=ts,...}, index=i}) => 
  		let val ntx = 
                        (case ts 
***************
*** 341,345 ****
  	   | (TC_ARROW (_,tc1,tc2)) => NO
  	   | (TC_TOKEN(_,tx)) => loop tx
! 	   | (TC_FIX(_, i)) => NO
  	   | (TC_APP(tx, _)) => 
  		(case tc_out tx
--- 341,345 ----
  	   | (TC_ARROW (_,tc1,tc2)) => NO
  	   | (TC_TOKEN(_,tx)) => loop tx
! 	   | (TC_FIX _) => NO
  	   | (TC_APP(tx, _)) => 
  		(case tc_out tx
***************
*** 367,371 ****
  	   | (TC_ARROW _) => NO
  	   | (TC_TOKEN(_,tx)) => loop tx
! 	   | (TC_FIX(_, i)) => NO
  	   | (TC_APP(tx, _)) => 
  		(case tc_out tx
--- 367,371 ----
  	   | (TC_ARROW _) => NO
  	   | (TC_TOKEN(_,tx)) => loop tx
! 	   | (TC_FIX _) => NO
  	   | (TC_APP(tx, _)) => 
  		(case tc_out tx

Index: typeoper.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/reps/typeoper.sml,v
retrieving revision 1.14.26.1
retrieving revision 1.14.26.2
diff -C2 -d -r1.14.26.1 -r1.14.26.2
*** typeoper.sml	11 Aug 2006 20:42:24 -0000	1.14.26.1
--- typeoper.sml	24 Aug 2006 19:28:40 -0000	1.14.26.2
***************
*** 250,254 ****
  	   | (TC_ABS tx) => loop tx
  	   | (TC_TOKEN(_,tx)) => loop tx
! 	   | (TC_FIX(_, i)) => YES
  	   | (TC_APP(tx, _)) => 
  		(case tc_out tx
--- 250,254 ----
  	   | (TC_ABS tx) => loop tx
  	   | (TC_TOKEN(_,tx)) => loop tx
! 	   | (TC_FIX _) => YES
  	   | (TC_APP(tx, _)) => 
  		(case tc_out tx


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