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 3687, Sun Feb 28 03:46:43 2016 UTC revision 4196, Wed Jul 13 03:36:42 2016 UTC
# Line 192  Line 192 
192                          | (_,_)     => prod2(eps1, p1 ,es)                          | (_,_)     => prod2(eps1, p1 ,es)
193                      end                      end
194                  | _  => (case (G.epsToDels(eps1::ps))                  | _  => (case (G.epsToDels(eps1::ps))
195                      of (1,e,[],_,_)       => (changed:=true;e)(* Changed to Deltas*)                      of (1,e,[],_,[])       => (changed:=true;e)(* Changed to Deltas*)
196                      | (1,e,sx,_,_)        => (changed:=true;E.Sum(sx,e))                      | (1,e,[],_,rest)      => (changed:=true; E.Opn(E.Prod, e::rest))(* Changed to Deltas*)
197                        | (1,e,sx,_,[])        => (changed:=true; E.Sum(sx,e))
198                        | (1,e,sx,_,rest)      => (changed:=true;  E.Opn(E.Prod, E.Sum(sx,e)::rest))
199                      | (_,_,_,_,[])        =>  body                      | (_,_,_,_,[])        =>  body
200                      | (_,_,_,epsAll,[r]) =>  E.Opn(E.Prod,epsAll@[rewrite r])                      | (_,_,_,epsAll,[r]) =>  E.Opn(E.Prod,epsAll@[rewrite r])
201                      | (_,_,_,epsAll,rest) => (case (rewrite(E.Opn(E.Prod, rest)))                      | (_,_,_,epsAll,rest) => (case (rewrite(E.Opn(E.Prod, rest)))

Legend:
Removed from v.3687  
changed lines
  Added in v.4196

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