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