CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.29, 1.33.4.30

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

Modified Files:
      Tag: primop-branch-2
	translate.sml 
Log Message:
streamlined printing, bug/halt on type check error

Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.29
retrieving revision 1.33.4.30
diff -C2 -d -r1.33.4.29 -r1.33.4.30
*** translate.sml	29 Aug 2006 23:17:47 -0000	1.33.4.29
--- translate.sml	5 Sep 2006 14:38:20 -0000	1.33.4.30
***************
*** 1508,1512 ****
                   PU.pps str "lexp:"; PP.newline str;
                   PPLexp.ppLexp 25 str plexp));
!               complain EM.WARN "checkLty" EM.nullErrorBody)
          else print "**** Translate: finished typechecking plexp ****\n"
  
--- 1508,1513 ----
                   PU.pps str "lexp:"; PP.newline str;
                   PPLexp.ppLexp 25 str plexp));
!               complain EM.WARN "checkLty" EM.nullErrorBody;
! 	     bug "PLambda type check error!")
          else print "**** Translate: finished typechecking plexp ****\n"
  


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