CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.23, 1.33.4.24

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

Modified Files:
      Tag: primop-branch-2
	translate.sml 
Log Message:
debugging info for chklexp and more extensive kind checking

Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.23
retrieving revision 1.33.4.24
diff -C2 -d -r1.33.4.23 -r1.33.4.24
*** translate.sml	24 Aug 2006 17:45:04 -0000	1.33.4.23
--- translate.sml	24 Aug 2006 19:09:41 -0000	1.33.4.24
***************
*** 1482,1486 ****
  val _ = complain EM.WARN ">>translate typecheck" EM.nullErrorBody
  val _ = print "**** Translate: typechecking plexp ****\n"
! val _ = PPLexp.printLexp plexp
  val _ = ChkPlexp.checkLtyTop(plexp,0)
  val _ = print "**** Translate: finished typechecking plexp ****\n"
--- 1482,1486 ----
  val _ = complain EM.WARN ">>translate typecheck" EM.nullErrorBody
  val _ = print "**** Translate: typechecking plexp ****\n"
! (* val _ = PPLexp.printLexp plexp *)
  val _ = ChkPlexp.checkLtyTop(plexp,0)
  val _ = 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