Mercurial > urweb

comparison src/mono_util.sml @ 111:2d6116de9cca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Closure code generation almost there
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:06:47 -0400
parents 813e5a52063d
children 6230bdd122e7
comparison
equal deleted inserted replaced
110:3739af9e727a 111:2d6116de9cca
192 S.bind2 (mfe ctx e1, 192 S.bind2 (mfe ctx e1,
193 fn e1' => 193 fn e1' =>
194 S.map2 (mfe ctx e2, 194 S.map2 (mfe ctx e2,
195 fn e2' => 195 fn e2' =>
196 (ESeq (e1', e2'), loc))) 196 (ESeq (e1', e2'), loc)))
197
198 | EClosure (n, es) =>
199 S.map2 (ListUtil.mapfold (mfe ctx) es,
200 fn es' =>
201 (EClosure (n, es'), loc))
197 in 202 in
198 mfe 203 mfe
199 end 204 end
200 205
201 fun mapfold {typ = fc, exp = fe} = 206 fun mapfold {typ = fc, exp = fe} =