CVS: sml-dist/src/compiler/FLINT/plambda flintnm.sml, 1.17.10.13, 1.17.10.14 pplexp.sml, 1.4, 1.4.10.1

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

Modified Files:
      Tag: primop-branch-2
	flintnm.sml pplexp.sml 
Log Message:
lexp trace of culprit, pplexp (which should be updated to use the PP lib) now uses PPLTy.ppTyc

Index: flintnm.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/flintnm.sml,v
retrieving revision 1.17.10.13
retrieving revision 1.17.10.14
diff -C2 -d -r1.17.10.13 -r1.17.10.14
*** flintnm.sml	8 Aug 2006 18:02:53 -0000	1.17.10.13
--- flintnm.sml	8 Aug 2006 19:32:53 -0000	1.17.10.14
***************
*** 412,416 ****
  		    f lexps (v::vals, lty::ltys)))) 
  	    handle LtyKernel.tcUnbound tenv => 
! 		   (ppTycEnv tenv; raise LtyKernel.tcUnbound tenv)
  	val v = f lexps ([], [])
  	val _ = debugmsg "<<lexp2values"
--- 412,421 ----
  		    f lexps (v::vals, lty::ltys)))) 
  	    handle LtyKernel.tcUnbound tenv => 
! 		   (print "\n*** lexps2values ***\nlexp: "; 
! 		    PPLexp.printLexp lexp;
! 		    print "\ntype: ";
! 		    (* Fill in with PPLty.pplty (lty) *)
! 		    print "\ntenv";
! 		    ppTycEnv tenv; raise LtyKernel.tcUnbound tenv)
  	val v = f lexps ([], [])
  	val _ = debugmsg "<<lexp2values"

Index: pplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/pplexp.sml,v
retrieving revision 1.4
retrieving revision 1.4.10.1
diff -C2 -d -r1.4 -r1.4.10.1
*** pplexp.sml	28 Aug 2003 21:59:07 -0000	1.4
--- pplexp.sml	8 Aug 2006 19:32:53 -0000	1.4.10.1
***************
*** 112,116 ****
  fun printLexp l = 
    let fun prLty t = say (LT.lt_print t)
!       fun prTyc t = say (LT.tc_print t)
        fun prKnd k = say (LT.tk_print k)
  
--- 112,118 ----
  fun printLexp l = 
    let fun prLty t = say (LT.lt_print t)
!       fun prTyc t = PrettyPrintNew.with_default_pp 
! 			(fn ppstrm => PPLTy.ppTyc ppstrm t)
!                      (* say (LT.tc_print t) *)
        fun prKnd k = say (LT.tk_print k)
  


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