CVS: sml-dist/src/compiler/FLINT/kernel lty.sig, 1.1.2.8, 1.1.2.9 ltyextern.sig, 1.9.26.4, 1.9.26.5 ltyextern.sml, 1.19.24.10, 1.19.24.11 ltykernel.sig, 1.11.24.6, 1.11.24.7

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

Modified Files:
      Tag: primop-branch-2
	lty.sig ltyextern.sig ltyextern.sml ltykernel.sig 
Log Message:
chkplexp compiles

Index: lty.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/lty.sig,v
retrieving revision 1.1.2.8
retrieving revision 1.1.2.9
diff -C2 -d -r1.1.2.8 -r1.1.2.9
*** lty.sig	18 Aug 2006 23:43:02 -0000	1.1.2.8
--- lty.sig	18 Aug 2006 23:54:34 -0000	1.1.2.9
***************
*** 194,196 ****
--- 194,197 ----
  val ltyChkGen : unit -> (tkindEnv -> lty -> tkind)
  
+ 
  end (* signature LTY *)

Index: ltyextern.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltyextern.sig,v
retrieving revision 1.9.26.4
retrieving revision 1.9.26.5
diff -C2 -d -r1.9.26.4 -r1.9.26.5
*** ltyextern.sig	18 Aug 2006 23:43:02 -0000	1.9.26.4
--- ltyextern.sig	18 Aug 2006 23:54:34 -0000	1.9.26.5
***************
*** 47,51 ****
  exception TkTycChk of string (* kind checker exception *)
  exception LtyAppChk
!   
  
  (* kind checking functions (re-exported here from Lty) *)
--- 47,52 ----
  exception TkTycChk of string (* kind checker exception *)
  exception LtyAppChk
! 
! exception TeUnbound  
  
  (* kind checking functions (re-exported here from Lty) *)

Index: ltyextern.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltyextern.sml,v
retrieving revision 1.19.24.10
retrieving revision 1.19.24.11
diff -C2 -d -r1.19.24.10 -r1.19.24.11
*** ltyextern.sml	18 Aug 2006 23:43:02 -0000	1.19.24.10
--- ltyextern.sml	18 Aug 2006 23:54:34 -0000	1.19.24.11
***************
*** 61,64 ****
--- 61,66 ----
  exception LtyAppChk = LT.LtyAppChk
  
+ exception TeUnbound = LK.teUnbound2
+ 
  (*
  (********************************************************************

Index: ltykernel.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltykernel.sig,v
retrieving revision 1.11.24.6
retrieving revision 1.11.24.7
diff -C2 -d -r1.11.24.6 -r1.11.24.7
*** ltykernel.sig	11 Aug 2006 20:42:23 -0000	1.11.24.6
--- ltykernel.sig	18 Aug 2006 23:54:34 -0000	1.11.24.7
***************
*** 14,17 ****
--- 14,19 ----
  type tycEnv = Lty.tycEnv
  
+ exception teUnbound2 
+ 
  (** injections and projections on tkind, tyc, and lty *)
  val tk_inj   : Lty.tkindI -> tkind 


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