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