Mercurial > urweb

comparison src/expl_util.sml @ 72:0ee10f4d73cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explify efold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 11:11:13 -0400
parents c1e21ab42896
children 275aaeb73f1f
comparison
equal deleted inserted replaced
71:6431b315a1e3 72:0ee10f4d73cf
261 S.bind2 (mfc ctx field, 261 S.bind2 (mfc ctx field,
262 fn field' => 262 fn field' =>
263 S.map2 (mfc ctx rest, 263 S.map2 (mfc ctx rest,
264 fn rest' => 264 fn rest' =>
265 (EField (e', c', {field = field', rest = rest'}), loc))))) 265 (EField (e', c', {field = field', rest = rest'}), loc)))))
266 | EFold k =>
267 S.map2 (mfk k,
268 fn k' =>
269 (EFold k', loc))
266 in 270 in
267 mfe 271 mfe
268 end 272 end
269 273
270 fun mapfold {kind = fk, con = fc, exp = fe} = 274 fun mapfold {kind = fk, con = fc, exp = fe} =