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 2499, Mon Nov 4 16:10:36 2013 UTC revision 2502, Mon Nov 4 21:33:35 2013 UTC
# Line 522  Line 522 
522                  | E.Probe(u,v)=>  (E.Probe(rewriteBody u, rewriteBody v))                  | E.Probe(u,v)=>  (E.Probe(rewriteBody u, rewriteBody v))
523              (*end case*))              (*end case*))
524    
525        fun loop body = let        fun loop(body ,count) = let
526              val body' = rewriteBody body              val body' = rewriteBody body
527    
528                   (* val y=(print "Counter:";print(Int.toString(count));print"\n")*)
529              in              in
530                if !changed                if !changed
531                  then (changed := false ;loop body')                  then (changed := false ;loop(body',count+1))
532                  else body'                  else (body',count)
533              end              end
534                  val z=print "hi"  
535                  val u= print(Int.toString( length(params)));      val (b,count) = loop(body,0)
536      val b = loop body      (*val j=(print "Final Counter:";print(Int.toString(count));print"\n")*)
537      in      in
538                  Ein.EIN{params=params, index=index, body=b}                  (Ein.EIN{params=params, index=index, body=b},count)
539      end      end
540  end  end
541    

Legend:
Removed from v.2499  
changed lines
  Added in v.2502

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