Mercurial > urweb
comparison src/expl_util.sml @ 109:813e5a52063d
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jul 2008 10:17:06 -0400 |
parents | 275aaeb73f1f |
children | 7420fa18d657 |
comparison
equal
deleted
inserted
replaced
108:f59553dc1b6a | 109:813e5a52063d |
---|---|
269 (EField (e', c', {field = field', rest = rest'}), loc))))) | 269 (EField (e', c', {field = field', rest = rest'}), loc))))) |
270 | EFold k => | 270 | EFold k => |
271 S.map2 (mfk k, | 271 S.map2 (mfk k, |
272 fn k' => | 272 fn k' => |
273 (EFold k', loc)) | 273 (EFold k', loc)) |
274 | |
275 | EWrite e => | |
276 S.map2 (mfe ctx e, | |
277 fn e' => | |
278 (EWrite e', loc)) | |
274 in | 279 in |
275 mfe | 280 mfe |
276 end | 281 end |
277 | 282 |
278 fun mapfold {kind = fk, con = fc, exp = fe} = | 283 fun mapfold {kind = fk, con = fc, exp = fe} = |