CVS: sml-dist/src/compiler/FLINT/plambda flintnm.sml, 1.17.10.9, 1.17.10.10

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

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

Index: flintnm.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/flintnm.sml,v
retrieving revision 1.17.10.9
retrieving revision 1.17.10.10
diff -C2 -d -r1.17.10.9 -r1.17.10.10
*** flintnm.sml	31 Jul 2006 18:07:17 -0000	1.17.10.9
--- flintnm.sml	31 Jul 2006 18:50:45 -0000	1.17.10.10
***************
*** 397,400 ****
--- 397,405 ----
  		else ()
  	val _ = 1
+ 
+ fun ppLtyc ltyc = 
+     PrettyPrintNew.with_default_pp (fn ppstrm => PPLTy.ppTyc ppstrm ltyc)
+ 
+ 
  	fun f [] (vals,ltys) = cont (rev vals, rev ltys)
  	  | f (lexp::lexps) (vals,ltys) =
***************
*** 404,408 ****
  				    if !debugging then PPLexp.printLexp lexp else ();
  				    if !debugging then debugmsg ("lty: "^ LtyBasic.lt_print lty) else ();
! 		    f lexps (v::vals, lty::ltys))))
  	val v = f lexps ([], [])
  	val _ = debugmsg "<<lexp2values"
--- 409,417 ----
  				    if !debugging then PPLexp.printLexp lexp else ();
  				    if !debugging then debugmsg ("lty: "^ LtyBasic.lt_print lty) else ();
! 		    f lexps (v::vals, lty::ltys)))) 
! 	    handle LtyKernel.tcUnbound tenv => 
! 		   (
! 		    ppLtyc (LtyKernel.tc_inj (LtyKernel.tycEnvOut tenv));
! 		    raise LtyKernel.tcUnbound tenv)
  	val v = f lexps ([], [])
  	val _ = debugmsg "<<lexp2values"


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