CVS: sml-dist/src/compiler/Semant/pickle pickmod-new.sml, 1.27.4.4, 1.27.4.5 unpickmod-new.sml, 1.24.4.6, 1.24.4.7

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

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

Index: pickmod-new.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Semant/pickle/pickmod-new.sml,v
retrieving revision 1.27.4.4
retrieving revision 1.27.4.5
diff -C2 -d -r1.27.4.4 -r1.27.4.5
*** pickmod-new.sml	11 Aug 2006 20:42:24 -0000	1.27.4.4
--- pickmod-new.sml	24 Aug 2006 19:28:41 -0000	1.27.4.5
***************
*** 548,553 ****
  		  | LT.TC_PROJ (tc, i) => "G" $ [tyc tc, int i]
  		  | LT.TC_SUM l => "H" $ [list tyc l]
! 		  | LT.TC_FIX ((n, tc, ts), i) =>
! 			"I" $ [int n, tyc tc, list tyc ts, int i]
  		  | LT.TC_ABS tc => "J" $ [tyc tc]
  		  | LT.TC_BOX tc => "K" $ [tyc tc]
--- 548,554 ----
  		  | LT.TC_PROJ (tc, i) => "G" $ [tyc tc, int i]
  		  | LT.TC_SUM l => "H" $ [list tyc l]
! 		  | LT.TC_FIX{family={size=n,names,gen=tc,params=ts},index=i} =>
! 			"I" $ [int n, list string (Vector.foldr (op ::) [] names),
!                                tyc tc, list tyc ts, int i]
  		  | LT.TC_ABS tc => "J" $ [tyc tc]
  		  | LT.TC_BOX tc => "K" $ [tyc tc]

Index: unpickmod-new.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Semant/pickle/unpickmod-new.sml,v
retrieving revision 1.24.4.6
retrieving revision 1.24.4.7
diff -C2 -d -r1.24.4.6 -r1.24.4.7
*** unpickmod-new.sml	23 Aug 2006 23:44:18 -0000	1.24.4.6
--- unpickmod-new.sml	24 Aug 2006 19:28:42 -0000	1.24.4.7
***************
*** 1283,1286 ****
--- 1283,1287 ----
  	val fundecListM = UU.mkMap ()
  	val conListM = UU.mkMap ()
+         val strListM = UU.mkMap ()
  	val lexpOptionM = UU.mkMap ()
  	val fundecM = UU.mkMap ()
***************
*** 1313,1317 ****
  	      | tc #"G" = LD.tcc_proj (tyc (), int ())
  	      | tc #"H" = LD.tcc_sum (tyclist ())
! 	      | tc #"I" = LD.tcc_fix ((int (), tyc (), tyclist ()), int ())
  	      | tc #"J" = LD.tcc_abs (tyc ())
  	      | tc #"K" = LD.tcc_box (tyc ())
--- 1314,1319 ----
  	      | tc #"G" = LD.tcc_proj (tyc (), int ())
  	      | tc #"H" = LD.tcc_sum (tyclist ())
! 	      | tc #"I" = LD.tcc_fix ((int (), Vector.fromList(strlist ()),
!                                        tyc (), tyclist ()), int ())
  	      | tc #"J" = LD.tcc_abs (tyc ())
  	      | tc #"K" = LD.tcc_box (tyc ())
***************
*** 1327,1330 ****
--- 1329,1333 ----
  	end
  
+         and strlist () = list strListM string ()
  	and tyclist () = list tycListM tyc ()
  


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