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

branches/charisee/src/compiler/high-il/normalize-ein.sml revision 3267, Wed Oct 7 19:26:16 2015 UTC branches/charisee_dev/src/compiler/high-il/normalize-ein.sml revision 3276, Tue Oct 13 02:42:05 2015 UTC
# Line 151  Line 151 
151          (*************Product**************)          (*************Product**************)
152          | E.Prod [] => raise Fail"missing elements in product"          | E.Prod [] => raise Fail"missing elements in product"
153          | E.Prod [e1] => rewriteBody e1          | E.Prod [e1] => rewriteBody e1
 (*  
         | E.Prod((E.Div(e2,e3))::e4)=> (changed :=true; let  
             val e1'=E.Div(E.Prod([e2]@e4), e3)  
             val _ =print("\n\nprodiv: "^ P.printbody(body)^"\n=>"^ P.printbody(e1'))  
             in e1' end  
             )  
 *)  
154          | E.Prod[(e1 as E.Sqrt(s1)),(e2 as E.Sqrt(s2))]=>          | E.Prod[(e1 as E.Sqrt(s1)),(e2 as E.Sqrt(s2))]=>
155              if(Eq.isBodyEq(s1,s2)) then (changed :=true;s1)              if(Eq.isBodyEq(s1,s2)) then (changed :=true;s1)
156              else let              else let

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

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