Mercurial > urweb
comparison src/core_util.sml @ 102:5f04adf47f48
Writing HTML
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 14:02:54 -0400 |
parents | f0f59e918cac |
children | 813e5a52063d |
comparison
equal
deleted
inserted
replaced
101:717b6f8d8505 | 102:5f04adf47f48 |
---|---|
284 (EField (e', c', {field = field', rest = rest'}), loc))))) | 284 (EField (e', c', {field = field', rest = rest'}), loc))))) |
285 | EFold k => | 285 | EFold k => |
286 S.map2 (mfk k, | 286 S.map2 (mfk k, |
287 fn k' => | 287 fn k' => |
288 (EFold k', loc)) | 288 (EFold k', loc)) |
289 | |
290 | EWrite e => | |
291 S.map2 (mfe ctx e, | |
292 fn e' => | |
293 (EWrite e', loc)) | |
289 in | 294 in |
290 mfe | 295 mfe |
291 end | 296 end |
292 | 297 |
293 fun mapfold {kind = fk, con = fc, exp = fe} = | 298 fun mapfold {kind = fk, con = fc, exp = fe} = |