CVS: sml-dist/src/compiler/FLINT/flint tvarcvt.sml, 1.6, 1.6.26.1

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

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

Index: tvarcvt.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/flint/tvarcvt.sml,v
retrieving revision 1.6
retrieving revision 1.6.26.1
diff -C2 -d -r1.6 -r1.6.26.1
*** tvarcvt.sml	1 Jun 2000 18:33:25 -0000	1.6
--- tvarcvt.sml	11 Aug 2006 20:42:23 -0000	1.6.26.1
***************
*** 30,34 ****
              fun tvtk2tyc (tvar, _) = LT.tcc_nvar tvar
          in
!             LK.tcInsert (env, (SOME (map tvtk2tyc tvtks), 0))
          end
  
--- 30,34 ----
              fun tvtk2tyc (tvar, _) = LT.tcc_nvar tvar
          in
!             Lty.tcInsert (env, (SOME (map tvtk2tyc tvtks), 0))
          end
  
***************
*** 137,141 ****
          end (* cvtFundec *)
      in
!         cvtFundec LK.initTycEnv DI.top
      end
  
--- 137,141 ----
          end (* cvtFundec *)
      in
!         cvtFundec Lty.initTycEnv DI.top
      end
  


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