Mercurial > urweb
comparison src/mono_util.sml @ 1293:acabf3935060
tryDml
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 05 Sep 2010 14:00:57 -0400 |
parents | a9a500d22ebc |
children | b4480a56cab7 |
comparison
equal
deleted
inserted
replaced
1292:a671c986f517 | 1293:acabf3935060 |
---|---|
330 query = query', | 330 query = query', |
331 body = body', | 331 body = body', |
332 initial = initial'}, | 332 initial = initial'}, |
333 loc))))))) | 333 loc))))))) |
334 | 334 |
335 | EDml e => | 335 | EDml (e, fm) => |
336 S.map2 (mfe ctx e, | 336 S.map2 (mfe ctx e, |
337 fn e' => | 337 fn e' => |
338 (EDml e', loc)) | 338 (EDml (e', fm), loc)) |
339 | ENextval e => | 339 | ENextval e => |
340 S.map2 (mfe ctx e, | 340 S.map2 (mfe ctx e, |
341 fn e' => | 341 fn e' => |
342 (ENextval e', loc)) | 342 (ENextval e', loc)) |
343 | ESetval (e1, e2) => | 343 | ESetval (e1, e2) => |