CVS: sml-dist/src/compiler/FLINT/lsplit ls-inline.sml, 1.9, 1.9.18.1

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

Modified Files:
      Tag: primop-branch-2
	ls-inline.sml 
Log Message:
broke ltykernel into lty and ltykernel, improved pplty

Index: ls-inline.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/lsplit/ls-inline.sml,v
retrieving revision 1.9
retrieving revision 1.9.18.1
diff -C2 -d -r1.9 -r1.9.18.1
*** ls-inline.sml	15 Aug 2001 21:17:00 -0000	1.9
--- ls-inline.sml	11 Aug 2006 20:42:23 -0000	1.9.18.1
***************
*** 18,21 ****
--- 18,22 ----
      type symenv = SymbolicEnv.env
  
+     structure LT = Lty
      structure LK = LtyKernel
      structure LV = LambdaVar
***************
*** 30,34 ****
  	    val importTypes =
  		case LK.lt_out mainArgLty of
! 		    LK.LT_STR it => it
  		  | _ => bug "non-structure arg to comp-unit"
  	    val newArgLvar = LV.mkLvar ()
--- 31,35 ----
  	    val importTypes =
  		case LK.lt_out mainArgLty of
! 		    LT.LT_STR it => it
  		  | _ => bug "non-structure arg to comp-unit"
  	    val newArgLvar = LV.mkLvar ()
***************
*** 93,97 ****
  
  	    val (tyl, imps, newBody) = build (imports, importTypes, 0, [])
! 	    val newArgLty = LK.lt_inj (LK.LT_STR tyl)
  	in
  	    ((mainFkind, mainLvar, [(newArgLvar, newArgLty)], newBody), imps)
--- 94,98 ----
  
  	    val (tyl, imps, newBody) = build (imports, importTypes, 0, [])
! 	    val newArgLty = LK.lt_inj (LT.LT_STR tyl)
  	in
  	    ((mainFkind, mainLvar, [(newArgLvar, newArgLty)], newBody), imps)


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