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

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

Modified Files:
      Tag: primop-branch-2
	tvarcvt.sml 
Log Message:
preparing for kind checking

Index: tvarcvt.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/flint/tvarcvt.sml,v
retrieving revision 1.6.26.1
retrieving revision 1.6.26.2
diff -C2 -d -r1.6.26.1 -r1.6.26.2
*** tvarcvt.sml	11 Aug 2006 20:42:23 -0000	1.6.26.1
--- tvarcvt.sml	17 Aug 2006 23:13:13 -0000	1.6.26.2
***************
*** 28,34 ****
  
          fun extendEnv env d _ tvtks = let
              fun tvtk2tyc (tvar, _) = LT.tcc_nvar tvar
          in
!             Lty.tcInsert (env, (SOME (map tvtk2tyc tvtks), 0))
          end
  
--- 28,35 ----
  
          fun extendEnv env d _ tvtks = let
+             val (tvars,ks) = ListPair.unzip tvtks
              fun tvtk2tyc (tvar, _) = LT.tcc_nvar tvar
          in
!             Lty.teCons(Lty.Beta(0,map LT.tcc_nvar tvars,ks), env)
          end
  
***************
*** 137,141 ****
          end (* cvtFundec *)
      in
!         cvtFundec Lty.initTycEnv DI.top
      end
  
--- 138,142 ----
          end (* cvtFundec *)
      in
!         cvtFundec Lty.teEmpty 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