Mercurial > urweb

comparison src/expl_util.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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} =