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

SCM Repository

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

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

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

revision 3441, Wed Nov 18 00:24:04 2015 UTC revision 3557, Fri Jan 8 19:54:58 2016 UTC
# Line 246  Line 246 
246    
247      val _=testp["\n******** Start Normalize: \n",P.printerE ee,"\n*****\n"]      val _=testp["\n******** Start Normalize: \n",P.printerE ee,"\n*****\n"]
248      fun loop(body ,count) = let      fun loop(body ,count) = let
249          val _= testp["\n\n N =>",Int.toString(count),"--",P.printbody(body)]          val _= (concat["\n N =>",Int.toString(count)])
250          val body' = rewrite body          val body' = rewrite body
251            val _=(EqualEin.boolToString(EqualEin.isBodyEq(body,body')))
252          in          in
253              if !changed              if !changed
254              then  (changed := false ;loop(body',count+1))              then  (changed := false ;loop(body',count+1))

Legend:
Removed from v.3441  
changed lines
  Added in v.3557

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