CVS: sml-dist/src/compiler/FLINT/trans transtypes.sml, 1.5.10.3, 1.5.10.4

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

Modified Files:
      Tag: primop-branch-2
	transtypes.sml 
Log Message:
pp for prim, transtype IBOUND case a bug

Index: transtypes.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/transtypes.sml,v
retrieving revision 1.5.10.3
retrieving revision 1.5.10.4
diff -C2 -d -r1.5.10.3 -r1.5.10.4
*** transtypes.sml	31 Jul 2006 18:50:45 -0000	1.5.10.3
--- transtypes.sml	31 Jul 2006 23:29:46 -0000	1.5.10.4
***************
*** 295,299 ****
  	     | _ => LT.tcc_app (tycTyc (tc, d), map g ts))
          | g (CONty(tyc, ts)) = LT.tcc_app(tycTyc(tyc, d), map g ts)
!         | g (IBOUND i) = LT.tcc_var(DI.innermost, i)
          | g (POLYty _) = bug "unexpected poly-type in toTyc"
          | g (UNDEFty) = bug "unexpected undef-type in toTyc"
--- 295,304 ----
  	     | _ => LT.tcc_app (tycTyc (tc, d), map g ts))
          | g (CONty(tyc, ts)) = LT.tcc_app(tycTyc(tyc, d), map g ts)
!         | g (IBOUND i) = bug "unexpected IBOUND - outside of POLYty"
! 	                   (* 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"


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV