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

SCM Repository

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

Diff of /branches/vis15/src/compiler/high-opt/normalize-ein.sml

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

revision 3590, Fri Jan 15 04:44:03 2016 UTC revision 3591, Fri Jan 15 17:09:03 2016 UTC
# Line 176  Line 176 
176  (* QUESTION: should we call rewrite on e? *)  (* QUESTION: should we call rewrite on e? *)
177                                | (true, e, sx, _, _) => (ST.tick cntEpsToDeltas; E.Sum(sx, e))                                | (true, e, sx, _, _) => (ST.tick cntEpsToDeltas; E.Sum(sx, e))
178                                | (_, _, _, _, []) =>  body                                | (_, _, _, _, []) =>  body
179                    | (_, _, _, epsAll, rest) =>let                                | (_, _, _, epsAll, rest) => (case rewrite (mkProd rest)
                     val _= print"\nrule H"  
                     val eB=rewrite (mkProd rest)  
                     in (case eB  
180                          of E.Opn(E.Prod, p)=>filterProd (epsAll@p)                          of E.Opn(E.Prod, p)=>filterProd (epsAll@p)
181                          | _ =>filterProd (epsAll@[eB])                                      | es => filterProd (epsAll @ [es])
182                          (* end case *))                          (* end case *))
                     end  
183                  (* end case *))                  (* end case *))
184                        (* end case *))                        (* end case *))
185                    | E.Opn(E.Prod, (s1 as E.Sum(c1, e1)) :: (s2 as E.Sum(c2, e2)) :: es) => (                    | E.Opn(E.Prod, (s1 as E.Sum(c1, e1)) :: (s2 as E.Sum(c2, e2)) :: es) => (

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

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