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/apply.sml
ViewVC logotype

Diff of /branches/chiw17/src/compiler/high-opt/apply.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 82  Line 82 
82                          val e1' = apply e1                          val e1' = apply e1
83                          val es' = List.map (fn(e2, n2)=> (insideComp:=true; (apply e2, n2))) es                          val es' = List.map (fn(e2, n2)=> (insideComp:=true; (apply e2, n2))) es
84                          in (insideComp:=false; E.Comp(e1', es')) end                          in (insideComp:=false; E.Comp(e1', es')) end
85                    | E.PolyWrap(id,  e, alpha) =>                    | E.OField(ofld, e1,e2, alpha) => E.OField(ofld, e1, apply e2, alpha)
                     E.PolyWrap(id, apply e, alpha)  
86                    | E.Value _ => raise Fail "expression before expand"                    | E.Value _ => raise Fail "expression before expand"
87                    | E.Img _ => raise Fail "expression before expand"                    | E.Img _ => raise Fail "expression before expand"
88                    | E.Krn _ => raise Fail "expression before expand"                    | E.Krn _ => raise Fail "expression before expand"
# Line 160  Line 159 
159                      in                      in
160                          (insideComp := true;E.Comp(fouter, es'))                          (insideComp := true;E.Comp(fouter, es'))
161                      end                      end
162                    | E.PolyWrap(id, e1, alpha)   => E.PolyWrap(id, apply(e1,shape), alpha)                    | E.OField(ofld, e1, e2, alpha)   => E.OField(ofld, e1, apply(e2,shape), alpha)
163                    | E.Value _ => raise Fail "expression before expand"                    | E.Value _ => raise Fail "expression before expand"
164                    | E.Img _ => raise Fail "expression before expand"                    | E.Img _ => raise Fail "expression before expand"
165                    | E.Krn _ => raise Fail "expression before expand"                    | E.Krn _ => raise Fail "expression before expand"

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