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} =