CVS: sml-dist/src/compiler/FLINT/plambda flintnm.sml, 1.17.10.5, 1.17.10.6

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

Modified Files:
      Tag: primop-branch-2
	flintnm.sml 
Log Message:
flintnm debug printouts -- call trace info

Index: flintnm.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/plambda/flintnm.sml,v
retrieving revision 1.17.10.5
retrieving revision 1.17.10.6
diff -C2 -d -r1.17.10.5 -r1.17.10.6
*** flintnm.sml	26 Jul 2006 21:28:29 -0000	1.17.10.5
--- flintnm.sml	26 Jul 2006 21:56:37 -0000	1.17.10.6
***************
*** 158,166 ****
   * a continuation is unnecessary *)
  and tolexp (venv,d) lexp =
!     let fun default_tovalues () =
          tovalues(venv, d, lexp,
                  fn (vals, lty) =>
  		(F.RET vals, lty))
!     in case lexp of
          L.APP (L.PRIM _, arg) => default_tovalues()
        | L.APP (L.GENOP _,arg) => default_tovalues()
--- 158,167 ----
   * a continuation is unnecessary *)
  and tolexp (venv,d) lexp =
!     let val _ = debugmsg ">>tolexp"
! 	fun default_tovalues () =
          tovalues(venv, d, lexp,
                  fn (vals, lty) =>
  		(F.RET vals, lty))
!     val v = case lexp of
          L.APP (L.PRIM _, arg) => default_tovalues()
        | L.APP (L.GENOP _,arg) => default_tovalues()
***************
*** 255,258 ****
--- 256,261 ----
        (* for mere values, use tovalues *)
        | _ => default_tovalues ()
+     val _ = debugmsg "<<tolexp"
+     in v 
      end
  
***************
*** 266,271 ****
   *)
  and tovalue (venv,d,lexp,cont) =
!     let val _ = 1
!     in case lexp of
          (* for simple values, it's trivial *)
          L.VAR v => cont(F.VAR v, LT.ltLookup(venv, v, d))
--- 269,276 ----
   *)
  and tovalue (venv,d,lexp,cont) =
!     let val _ = debugmsg ">>tovalue"
! 	val _ = PPLexp.printLexp lexp
! 	val _ = 1
!     val v = case lexp of
          (* for simple values, it's trivial *)
          L.VAR v => cont(F.VAR v, LT.ltLookup(venv, v, d))
***************
*** 296,299 ****
--- 301,306 ----
              in tolvar(venv, d, lv, lexp, fn lty => cont(F.VAR lv, lty))
              end
+     val _ = debugmsg "<<tovalue"
+     in v
      end
  		    
***************
*** 309,314 ****
   *)
  and tovalues (venv,d,lexp,cont) =
!     let val _ = 1
!     in case lexp of
  	L.RECORD (lexps) =>
  	    lexps2values(venv,d,lexps,
--- 316,322 ----
   *)
  and tovalues (venv,d,lexp,cont) =
!     let val _ = debugmsg ">>tovalues"
! 	val _ = 1
!     val v = case lexp of
  	L.RECORD (lexps) =>
  	    lexps2values(venv,d,lexps,
***************
*** 338,341 ****
--- 346,351 ----
  		     in (wrap c_lexp, c_lty)
  		     end)
+     val _ = debugmsg "<<tovalues"
+     in v
      end
  


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV