CVS: sml-dist/src/compiler/FLINT/plambda chkplexp.sml, 1.9.10.9, 1.9.10.10

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

Modified Files:
      Tag: primop-branch-2
	chkplexp.sml 
Log Message:
refining debugging instrumentation

Index: chkplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/chkplexp.sml,v
retrieving revision 1.9.10.9
retrieving revision 1.9.10.10
diff -C2 -d -r1.9.10.9 -r1.9.10.10
*** chkplexp.sml	24 Aug 2006 19:17:46 -0000	1.9.10.9
--- chkplexp.sml	24 Aug 2006 23:03:10 -0000	1.9.10.10
***************
*** 35,38 ****
--- 35,43 ----
  val say = Control.Print.say
  
+ structure PP = PrettyPrintNew
+ structure PU = PPUtilNew
+ val with_pp = PP.with_default_pp
+ val pd = ref 20
+ 
  val anyerror = ref false
  val clickerror = fn () => (anyerror := true)
***************
*** 77,83 ****
  
  (** utility functions for printing *)
! val tkPrint = say o LT.tk_print
! val tcPrint = say o LT.tc_print
! val ltPrint = say o LT.lt_print
  fun lePrint le = PPLexp.printLexp (simplify(le, 3))
  
--- 82,100 ----
  
  (** utility functions for printing *)
! fun tkPrint tk =
!     with_pp (fn stm =>
!      (PPLty.ppTKind (!pd) stm tk;
!       PP.newline stm))
! 
! fun tcPrint tc =
!     with_pp (fn stm =>
!      (PPLty.ppTyc (!pd) stm tc;
!       PP.newline stm))
! 
! fun ltPrint lt =
!     with_pp (fn stm =>
!      (PPLty.ppLty (!pd) stm lt;
!       PP.newline stm))
! 
  fun lePrint le = PPLexp.printLexp (simplify(le, 3))
  


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