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

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

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


Index: transtypes.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/transtypes.sml,v
retrieving revision 1.5.10.4
retrieving revision 1.5.10.5
diff -C2 -d -r1.5.10.4 -r1.5.10.5
*** transtypes.sml	31 Jul 2006 23:29:46 -0000	1.5.10.4
--- transtypes.sml	2 Aug 2006 20:59:42 -0000	1.5.10.5
***************
*** 295,301 ****
  	     | _ => 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 
--- 295,300 ----
  	     | _ => 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) 
! 			 (* [KM???] If we do not expect POLYty's, we definitely
  			    do not expect IBOUNDs because IBOUNDs are 
  			    supposed to be found only without 


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