comparison src/mono_util.sml @ 307:52d4c60518d4

First INSERT works
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 15:05:52 -0400
parents 59dc042629b9
children e976b187d73a
comparison
equal deleted inserted replaced
306:99e4f39e820d 307:52d4c60518d4
283 state = state', 283 state = state',
284 query = query', 284 query = query',
285 body = body', 285 body = body',
286 initial = initial'}, 286 initial = initial'},
287 loc))))))) 287 loc)))))))
288
289 | EDml e =>
290 S.map2 (mfe ctx e,
291 fn e' =>
292 (EDml e', loc))
288 in 293 in
289 mfe 294 mfe
290 end 295 end
291 296
292 fun mapfold {typ = fc, exp = fe} = 297 fun mapfold {typ = fc, exp = fe} =