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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/simplify/inliner.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/simplify/inliner.sml

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

revision 4042, Fri Jun 24 19:04:21 2016 UTC revision 4043, Sun Jun 26 14:00:38 2016 UTC
# Line 103  Line 103 
103                   of S.E_Var x => S.E_Var(rename env x)                   of S.E_Var x => S.E_Var(rename env x)
104                    | S.E_Select(x, fld) => S.E_Select(rename env x, fld)                    | S.E_Select(x, fld) => S.E_Select(rename env x, fld)
105                    | S.E_Lit _ => exp                    | S.E_Lit _ => exp
106                      | S.E_Kernel _ => exp
107                    | S.E_Apply(f, xs, ty) => S.E_Apply(f, List.map (rename env) xs, ty)                    | S.E_Apply(f, xs, ty) => S.E_Apply(f, List.map (rename env) xs, ty)
108                    | S.E_Prim(f, tys, xs, ty) =>                    | S.E_Prim(f, tys, xs, ty) =>
109                        S.E_Prim(f, tys, List.map (rename env) xs, ty)                        S.E_Prim(f, tys, List.map (rename env) xs, ty)
# Line 114  Line 115 
115                        S.E_Coerce{srcTy=srcTy, dstTy=dstTy, x=rename env x}                        S.E_Coerce{srcTy=srcTy, dstTy=dstTy, x=rename env x}
116                    | S.E_LoadSeq _ => exp                    | S.E_LoadSeq _ => exp
117                    | S.E_LoadImage _ => exp                    | S.E_LoadImage _ => exp
118                      | S.E_InsideImage _ => raise Fail "unexpected InsideImage during inlining"
119                  (* end case *))                  (* end case *))
120          (* build the initial environment by mapping parameters to arguments *)          (* build the initial environment by mapping parameters to arguments *)
121            val env = ListPair.foldlEq            val env = ListPair.foldlEq

Legend:
Removed from v.4042  
changed lines
  Added in v.4043

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