CVS: sml-dist/src/compiler/FLINT/trans transtypes.sml, 1.5.10.6, 1.5.10.7

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

Modified Files:
      Tag: primop-branch-2
	transtypes.sml 
Log Message:
added kindch directory

Index: transtypes.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/transtypes.sml,v
retrieving revision 1.5.10.6
retrieving revision 1.5.10.7
diff -C2 -d -r1.5.10.6 -r1.5.10.7
*** transtypes.sml	11 Aug 2006 20:42:24 -0000	1.5.10.6
--- transtypes.sml	14 Aug 2006 21:42:33 -0000	1.5.10.7
***************
*** 296,303 ****
          | g (CONty(tyc, ts)) = LT.tcc_app(tycTyc(tyc, d), map g ts)
          | g (IBOUND i) = LT.tcc_var(DI.innermost, i) 
! 			 (* [KM???] If we do not expect POLYty's, we definitely
! 			    do not expect IBOUNDs because IBOUNDs are 
! 			    supposed to be found only without 
! 			    POLYty's *)
          | g (POLYty _) = bug "unexpected poly-type in toTyc"
          | g (UNDEFty) = bug "unexpected undef-type in toTyc"
--- 296,302 ----
          | g (CONty(tyc, ts)) = LT.tcc_app(tycTyc(tyc, d), map g ts)
          | g (IBOUND i) = LT.tcc_var(DI.innermost, i) 
! 			 (* [KM] IBOUNDs are encountered when toTyc
!                           * is called on the body of a POLYty in 
!                           * toLty (see below). *)
          | g (POLYty _) = bug "unexpected poly-type in toTyc"
          | g (UNDEFty) = bug "unexpected undef-type in toTyc"


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