Mercurial > urweb
comparison src/mono_util.sml @ 111:2d6116de9cca
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} = |