Mercurial > urweb

comparison src/reduce.sml @ 26:4ab19c19665f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Closure conversion
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 15:56:33 -0400
parents d8850cc06d24
children 537db4ee89f4
comparison
equal deleted inserted replaced
25:0a762c73824d 26:4ab19c19665f
137 ENamed n => 137 ENamed n =>
138 (case E.lookupENamed env n of 138 (case E.lookupENamed env n of
139 (_, _, SOME e') => #1 e' 139 (_, _, SOME e') => #1 e'
140 | _ => e) 140 | _ => e)
141 141
142 | EApp ((EAbs (_, _, e1), loc), e2) => 142 | EApp ((EAbs (_, _, _, e1), loc), e2) =>
143 #1 (reduceExp env (subExpInExp (0, e2) e1)) 143 #1 (reduceExp env (subExpInExp (0, e2) e1))
144 | ECApp ((ECAbs (_, _, e1), loc), c) => 144 | ECApp ((ECAbs (_, _, e1), loc), c) =>
145 #1 (reduceExp env (subConInExp (0, c) e1)) 145 #1 (reduceExp env (subConInExp (0, c) e1))
146 146
147 | EField ((ERecord xes, _), (CName x, _), _) => 147 | EField ((ERecord xes, _), (CName x, _), _) =>