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

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

Modified Files:
      Tag: primop-branch-2
	transtypes.sml 
Log Message:
changed LtyKernel tcUnbound to carry tycEnv...printing tycEnv upon tcUnbound exception

Index: transtypes.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/transtypes.sml,v
retrieving revision 1.5.10.2
retrieving revision 1.5.10.3
diff -C2 -d -r1.5.10.2 -r1.5.10.3
*** transtypes.sml	31 Jul 2006 18:07:17 -0000	1.5.10.2
--- transtypes.sml	31 Jul 2006 18:50:45 -0000	1.5.10.3
***************
*** 298,306 ****
          | g (POLYty _) = bug "unexpected poly-type in toTyc"
          | g (UNDEFty) = bug "unexpected undef-type in toTyc"
!         | g (WILDCARDty) = bug "unexpected wildcard-type in toTyc"
!       val plamty = (g t)
!       val _ = debugmsg "<<toTyc"
!       val _ = if !debugging then ppLtyc plamty else ()
!    in plamty
    end
  
--- 298,303 ----
          | g (POLYty _) = bug "unexpected poly-type in toTyc"
          | g (UNDEFty) = bug "unexpected undef-type in toTyc"
!         | g (WILDCARDty) = bug "unexpected wildcard-type in toTyc"      
!    in g t
    end
  


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