CVS: sml-dist/src/compiler/FLINT/kernel lty.sig, 1.1.2.7, 1.1.2.8 lty.sml, 1.1.2.12, 1.1.2.13 ltyextern.sig, 1.9.26.3, 1.9.26.4 ltyextern.sml, 1.19.24.9, 1.19.24.10

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

Modified Files:
      Tag: primop-branch-2
	lty.sig lty.sml ltyextern.sig ltyextern.sml 
Log Message:
Kind checking exceptions re-exported through LtyExtern

Index: lty.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/lty.sig,v
retrieving revision 1.1.2.7
retrieving revision 1.1.2.8
diff -C2 -d -r1.1.2.7 -r1.1.2.8
*** lty.sig	18 Aug 2006 22:58:46 -0000	1.1.2.7
--- lty.sig	18 Aug 2006 23:43:02 -0000	1.1.2.8
***************
*** 187,190 ****
--- 187,191 ----
  
  (* Kind checker *)
+ exception TkTycChk of string
  exception LtyAppChk
  

Index: lty.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/lty.sml,v
retrieving revision 1.1.2.12
retrieving revision 1.1.2.13
diff -C2 -d -r1.1.2.12 -r1.1.2.13
*** lty.sml	18 Aug 2006 22:58:46 -0000	1.1.2.12
--- lty.sml	18 Aug 2006 23:43:02 -0000	1.1.2.13
***************
*** 708,712 ****
         else raise TkTycChk "Param/Arg Tyc Kind mismatch"
       | _ => raise TkTycChk "Application of non-TK_FUN")
! *)
  
  (* check the application of tycs of kinds `tks' to a type function of
--- 708,712 ----
         else raise TkTycChk "Param/Arg Tyc Kind mismatch"
       | _ => raise TkTycChk "Application of non-TK_FUN")
! 
  
  (* check the application of tycs of kinds `tks' to a type function of

Index: ltyextern.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltyextern.sig,v
retrieving revision 1.9.26.3
retrieving revision 1.9.26.4
diff -C2 -d -r1.9.26.3 -r1.9.26.4
*** ltyextern.sig	18 Aug 2006 22:58:46 -0000	1.9.26.3
--- ltyextern.sig	18 Aug 2006 23:43:02 -0000	1.9.26.4
***************
*** 44,51 ****
  val lt_pinst    : lty * tyc list -> lty
  
! (*
  exception TkTycChk of string (* kind checker exception *)
  exception LtyAppChk
!  *) 
  
  (* kind checking functions (re-exported here from Lty) *)
--- 44,51 ----
  val lt_pinst    : lty * tyc list -> lty
  
! 
  exception TkTycChk of string (* kind checker exception *)
  exception LtyAppChk
!   
  
  (* 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.9
retrieving revision 1.19.24.10
diff -C2 -d -r1.19.24.9 -r1.19.24.10
*** ltyextern.sml	18 Aug 2006 22:58:46 -0000	1.19.24.9
--- ltyextern.sml	18 Aug 2006 23:43:02 -0000	1.19.24.10
***************
*** 57,60 ****
--- 57,64 ----
    (case lt_inst (lt, ts) of [y] => y | _ => bug "unexpected lt_pinst")
  
+ 
+ exception TkTycChk = LT.TkTycChk
+ exception LtyAppChk = LT.LtyAppChk
+ 
  (*
  (********************************************************************


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