CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.19, 1.33.4.20

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

Modified Files:
      Tag: primop-branch-2
	translate.sml 
Log Message:
debugging plambda type checking

Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.19
retrieving revision 1.33.4.20
diff -C2 -d -r1.33.4.19 -r1.33.4.20
*** translate.sml	18 Aug 2006 22:58:46 -0000	1.33.4.19
--- translate.sml	21 Aug 2006 23:07:07 -0000	1.33.4.20
***************
*** 1455,1461 ****
  val body = mkDec (rootdec, DI.top) exportLexp
  val _ = debugmsg "<<mkDec"
- (** type check body (including kind check) **)
- val _ = ChkPlexp.checkLty(body,0)
- 
  (** add bindings for intinf constants *)
  val body = wrapII body
--- 1455,1458 ----
***************
*** 1464,1467 ****
--- 1461,1469 ----
  val (plexp, imports) = wrapPidInfo (body, PersMap.listItemsi (!persmap))
  
+ (** type check body (including kind check) **)
+ val _ = print "**** Translate: plexp ****\n"
+ val _ = PPLexp.printLexp plexp
+ val _ = ChkPlexp.checkLty(plexp,0)
+ 
  fun prGen (flag,printE) s e =
    if !flag then (say ("\n\n[After " ^ s ^ " ...]\n\n"); printE e) else ()


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