CVS: sml-dist/src/compiler/FLINT/trans transtypes.sml, 1.5.10.9, 1.5.10.10

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

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

Index: transtypes.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/transtypes.sml,v
retrieving revision 1.5.10.9
retrieving revision 1.5.10.10
diff -C2 -d -r1.5.10.9 -r1.5.10.10
*** transtypes.sml	21 Aug 2006 20:40:35 -0000	1.5.10.9
--- transtypes.sml	24 Aug 2006 19:28:41 -0000	1.5.10.10
***************
*** 204,209 ****
                let val tc = dtsFam (freetycs, family)
                    val n = Vector.length stamps 
!                   (* invariant: n should be the length of family members *)
!                in LT.tcc_fix((n, tc, (map g freetycs)), index)
                end
          | h (ABSTRACT tc, 0) = (g tc) 
--- 204,211 ----
                let val tc = dtsFam (freetycs, family)
                    val n = Vector.length stamps 
!                   val names = Vector.map (fn ({tycname,...}: dtmember) => Symbol.name tycname)
!                                          (#members family)
!                   (* invariant: n should be the number of family members *)
!                in LT.tcc_fix((n, names, tc, (map g freetycs)), index)
                end
          | h (ABSTRACT tc, 0) = (g tc) 


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