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