comparison src/mono_reduce.sml @ 1293:acabf3935060

tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents 950d1e540df6
children e665527fce1c
comparison
equal deleted inserted replaced
1292:a671c986f517 1293:acabf3935060
463 List.concat [summarize d query, 463 List.concat [summarize d query,
464 summarize d initial, 464 summarize d initial,
465 [ReadDb], 465 [ReadDb],
466 summarize (d + 2) body] 466 summarize (d + 2) body]
467 467
468 | EDml e => summarize d e @ [WriteDb] 468 | EDml (e, _) => summarize d e @ [WriteDb]
469 | ENextval e => summarize d e @ [WriteDb] 469 | ENextval e => summarize d e @ [WriteDb]
470 | ESetval (e1, e2) => summarize d e1 @ summarize d e2 @ [WriteDb] 470 | ESetval (e1, e2) => summarize d e1 @ summarize d e2 @ [WriteDb]
471 | EUnurlify (e, _, _) => summarize d e 471 | EUnurlify (e, _, _) => summarize d e
472 | EJavaScript (_, e) => summarize d e 472 | EJavaScript (_, e) => summarize d e
473 | ESignalReturn e => summarize d e 473 | ESignalReturn e => summarize d e