Mercurial > urweb
comparison src/expl_util.sml @ 72:0ee10f4d73cf
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} = |