CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.6, 1.33.4.7

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

Modified Files:
      Tag: primop-branch-2
	translate.sml 
Log Message:


Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.6
retrieving revision 1.33.4.7
diff -C2 -d -r1.33.4.6 -r1.33.4.7
*** translate.sml	12 Jul 2006 15:43:13 -0000	1.33.4.6
--- translate.sml	13 Jul 2006 18:21:39 -0000	1.33.4.7
***************
*** 312,315 ****
--- 312,318 ----
           let val nt = toDconLty DI.top typ
               val nrep = mkRep(rep, nt, name)
+ 	     val _ = print "coreExn in translate.sml: "
+ 	     val _ = PPLexp.printLexp (CON'((name, nrep, nt), [], unitLexp))
+ 	     val _ = print "\n"
           in CON'((name, nrep, nt), [], unitLexp)
           end
***************
*** 1178,1184 ****
              mkVE(v, map TP.VARty ts, d)
  
!         | g (CONexp (dc, ts)) = mkCE(dc, ts, NONE, d)
!         | g (APPexp (CONexp(dc, ts), e2)) = mkCE(dc, ts, SOME(g e2), d)
! 
          | g (INTexp (s, t)) =
               ((if TU.equalType (t, BT.intTy) then INT (LN.int s)
--- 1181,1192 ----
              mkVE(v, map TP.VARty ts, d)
  
!         | g (CONexp (dc, ts)) = (let val _ = print "mkExp CONexp: "
! 				     val c = mkCE(dc, ts, NONE, d)
! 				     val _ = PPLexp.printLexp c
! 				 in c end)
!         | g (APPexp (CONexp(dc, ts), e2)) = (let val _ = print "mkExp APPexp: "
! 						 val c = mkCE(dc, ts, SOME(g e2), d)
! 						 val _ = PPLexp.printLexp c
! 					     in c end)
          | g (INTexp (s, t)) =
               ((if TU.equalType (t, BT.intTy) then INT (LN.int s)
***************
*** 1418,1422 ****
  
  (** normalizing the plambda expression into FLINT *)
! val flint = FlintNM.norm plexp
  
  in {flint = flint, imports = imports}
--- 1426,1433 ----
  
  (** normalizing the plambda expression into FLINT *)
! val flint = let val _ = print "prenorm\n"
! 		val n = FlintNM.norm plexp
! 		val _ = print "postnorm\n"
! 	    in n end
  
  in {flint = flint, imports = imports}



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