CVS: sml-dist/src/compiler/FLINT/kernel pplty.sml, 1.1.2.18, 1.1.2.19

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

Modified Files:
      Tag: primop-branch-2
	pplty.sml 
Log Message:
minor printing tweaks for debugging lt_inst problem

Index: pplty.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/Attic/pplty.sml,v
retrieving revision 1.1.2.18
retrieving revision 1.1.2.19
diff -C2 -d -r1.1.2.18 -r1.1.2.19
*** pplty.sml	28 Aug 2006 22:57:54 -0000	1.1.2.18
--- pplty.sml	29 Aug 2006 14:05:14 -0000	1.1.2.19
***************
*** 91,109 ****
      let val {openHOVBox, closeBox, pps, ppi, ...} = en_pp ppstrm
      in openHOVBox 1;
! 	let val ks = 
! 		(case binder
! 		  of Lty.Lamb (level, ks) => (pps "L"; ppi level; ks) 
! 		   | Lty.Beta (level, args, ks) =>
! 	             (pps "B";
! 		      ppi level;
! 		      pps "(";
! 		      ppList ppstrm {sep=",", pp=ppTyc (pd-1)} args;
! 		      pps ")";
! 		      ks)
! 		)
! 	in if pd < 2 then () 
! 	   else (pps " : ";
!                  ppKeFrame (pd-1) ppstrm ks)
! 	end;
         closeBox()
      end (* function ppTEBinder *)
--- 91,105 ----
      let val {openHOVBox, closeBox, pps, ppi, ...} = en_pp ppstrm
      in openHOVBox 1;
!        (case binder
!          of Lty.Lamb (level, ks) =>
!             (pps "L"; ppi level;
!              pps ": ";
!              ppKeFrame (pd-1) ppstrm ks) 
!           | Lty.Beta (level, args, ks) =>
!             (pps "B"; ppi level; pps "(";
!              ppList ppstrm {sep=",", pp=ppTyc (pd-1)} args;
!              pps ": ";
!              ppKeFrame (pd-1) ppstrm ks;
!              pps ")"));
         closeBox()
      end (* function ppTEBinder *)


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