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

SCM Repository

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

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

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

revision 5029, Tue Jul 11 22:38:23 2017 UTC revision 5030, Tue Jul 11 22:53:10 2017 UTC
# Line 183  Line 183 
183                        end                        end
184                    | E.Apply _                     => err "Ill-formed Apply expression"                    | E.Apply _                     => err "Ill-formed Apply expression"
185                  (************** composition **************)                  (************** composition **************)
186                    | E.PolyWrap(id, e, alpha)      => E.PolyWrap(id, rewrite e, alpha)                    | E.OField(ofld, id, e, alpha)      => E.OField(ofld,id, rewrite e, alpha)
187                    | E.Comp(E.Comp(a, es1), es2)   =>  (ST.tick cntProbe; rewrite (E.Comp(a, es1@es2)))                    | E.Comp(E.Comp(a, es1), es2)   =>  (ST.tick cntProbe; rewrite (E.Comp(a, es1@es2)))
188                    | E.Comp(a, (E.Comp(b, es1), m)::es2) =>  (ST.tick cntProbe; rewrite (E.Comp(a, ((b,m)::es1)@es2)))                    | E.Comp(a, (E.Comp(b, es1), m)::es2) =>  (ST.tick cntProbe; rewrite (E.Comp(a, ((b,m)::es1)@es2)))
189                    | E.Comp(e1, es)                  =>                    | E.Comp(e1, es)                  =>

Legend:
Removed from v.5029  
changed lines
  Added in v.5030

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