CVS: sml-dist/src/compiler/FLINT/plambda chkplexp.sml, 1.9.10.12, 1.9.10.13 flintnm.sml, 1.17.10.19, 1.17.10.20

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

Modified Files:
      Tag: primop-branch-2
	chkplexp.sml flintnm.sml 
Log Message:
various debugging changes

Index: chkplexp.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/chkplexp.sml,v
retrieving revision 1.9.10.12
retrieving revision 1.9.10.13
diff -C2 -d -r1.9.10.12 -r1.9.10.13
*** chkplexp.sml	28 Aug 2006 22:57:54 -0000	1.9.10.12
--- chkplexp.sml	29 Aug 2006 23:17:47 -0000	1.9.10.13
***************
*** 163,171 ****
          bug "fatal typing error in ltTyApp"))
  
! fun ltMatch le s (t1, t2) = 
    (if ltEquiv(t1,t2) then ()
     else (clickerror();
           with_pp(fn s =>
!            (PU.pps s "ERROR(checkLty): ltEquiv fails in ltMatch"; PP.newline s;
              PU.pps s "le:"; PP.newline s; PPLexp.ppLexp 6 s le;
              PU.pps s "t1:"; PP.newline s; PPLty.ppLty 10 s t1; PP.newline s;
--- 163,171 ----
          bug "fatal typing error in ltTyApp"))
  
! fun ltMatch le msg (t1, t2) = 
    (if ltEquiv(t1,t2) then ()
     else (clickerror();
           with_pp(fn s =>
!            (PU.pps s ("ERROR(checkLty): ltEquiv fails in ltMatch: "^msg); PP.newline s;
              PU.pps s "le:"; PP.newline s; PPLexp.ppLexp 6 s le;
              PU.pps s "t1:"; PP.newline s; PPLty.ppLty 10 s t1; PP.newline s;
***************
*** 176,180 ****
    (clickerror();
     with_pp(fn s =>
!      (PU.pps s "ERROR(checkLty): exception teUnbound2 in ltMatch"; PP.newline s;
        PU.pps s "le:"; PP.newline s; PPLexp.ppLexp 6 s le;
        PU.pps s "t1:"; PP.newline s; PPLty.ppLty 10 s t1; PP.newline s;
--- 176,180 ----
    (clickerror();
     with_pp(fn s =>
!      (PU.pps s ("ERROR(checkLty): exception teUnbound2 in ltMatch"^msg); PP.newline s;
        PU.pps s "le:"; PP.newline s; PPLexp.ppLexp 6 s le;
        PU.pps s "t1:"; PP.newline s; PPLty.ppLty 10 s t1; PP.newline s;

Index: flintnm.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/flintnm.sml,v
retrieving revision 1.17.10.19
retrieving revision 1.17.10.20
diff -C2 -d -r1.17.10.19 -r1.17.10.20
*** flintnm.sml	28 Aug 2006 05:12:11 -0000	1.17.10.19
--- flintnm.sml	29 Aug 2006 23:17:47 -0000	1.17.10.20
***************
*** 366,370 ****
  						      Int.toString n ^"]:");
  					     debugLexp l;
! 					     ppLty x;
  					     scan' (xs, ls, n + 1))
  					  | scan' _ = 
--- 366,370 ----
  						      Int.toString n ^"]:");
  					     debugLexp l;
! 					     debugLty x;
  					     scan' (xs, ls, n + 1))
  					  | scan' _ = 


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