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 3165, Sun Mar 29 19:06:39 2015 UTC revision 3166, Sun Mar 29 20:00:49 2015 UTC
# Line 165  Line 165 
165  *)  *)
166    
167          | E.Prod((e1 as E.Sqrt(s1))::(e2 as E.Sqrt(s2))::es)=>          | E.Prod((e1 as E.Sqrt(s1))::(e2 as E.Sqrt(s2))::es)=>
168              if(Eq.isEqual3(s1,s2,args)=0) then (changed :=true;s1)              if(Eq.isBodyEq(s1,s2)) then (changed :=true;s1)
169              else let              else let
170                  val a=rewriteBody e1                  val a=rewriteBody e1
171                  val b=rewriteBody (E.Prod([e2]@es))                  val b=rewriteBody (E.Prod([e2]@es))

Legend:
Removed from v.3165  
changed lines
  Added in v.3166

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