Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3193, Mon Apr 27 21:19:16 2015 UTC revision 3267, Wed Oct 7 19:26:16 2015 UTC
# Line 268  Line 268 
268    
269      (*end case*))      (*end case*))
270    
271      val _=testp["\n********Normalize",P.printerE ee,"\n*****\n"]      val _=testp["\n******** Start Normalize: \n",P.printerE ee,"\n*****\n"]
272      fun loop(body ,count) = let      fun loop(body ,count) = let
273          val _= testp["\n\n N =>",Int.toString(count),"--",P.printbody(body)]          val _= testp["\n\n N =>",Int.toString(count),"--",P.printbody(body)]
274          val body' = rewriteBody body          val body' = rewriteBody body
# Line 278  Line 278 
278              then  (changed := false ;loop(body',count+1))              then  (changed := false ;loop(body',count+1))
279              else (body',count)              else (body',count)
280          end          end
281      val _ =testp["\n ******************* \n Start Normalize \n\n "]  
282      val (b,count) = loop(body,0)      val (b,count) = loop(body,0)
283      val _ =testp["\n Out of normalize \n",P.printbody(b),      val _ =testp["\n Out of normalize \n",P.printbody(b),
284          "\n    Final CounterXX:",Int.toString(count),"\n\n"]          "\n    Final CounterXX:",Int.toString(count),"\n\n"]

Legend:
Removed from v.3193  
changed lines
  Added in v.3267

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0