summaryrefslogtreecommitdiff
path: root/src/mono_reduce.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-13 14:20:41 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-13 14:20:41 -0500
commitf5449b93792afc81e4da70d2a790ef7a2d2b49d5 (patch)
tree14b2deefac4e078e2d5e4e5bdd076749de8659d8 /src/mono_reduce.sml
parent2319f2ff07432849cc88956ad92467edd2e8bf5e (diff)
Initializers and setval
Diffstat (limited to 'src/mono_reduce.sml')
-rw-r--r--src/mono_reduce.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index f29117cf..aa6b7051 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -51,6 +51,7 @@ fun simpleImpure (tsyms, syms) =
| EQuery _ => true
| EDml _ => true
| ENextval _ => true
+ | ESetval _ => true
| EFfiApp (m, x, _) => Settings.isEffectful (m, x)
| EServerCall _ => true
| ERecv _ => true
@@ -75,6 +76,7 @@ fun impure (e, _) =
| EQuery _ => true
| EDml _ => true
| ENextval _ => true
+ | ESetval _ => true
| EUnurlify _ => true
| EAbs _ => false
@@ -448,6 +450,7 @@ fun reduce file =
| EDml e => summarize d e @ [WriteDb]
| ENextval e => summarize d e @ [WriteDb]
+ | ESetval (e1, e2) => summarize d e1 @ summarize d e2 @ [WriteDb]
| EUnurlify (e, _) => summarize d e
| EJavaScript (_, e) => summarize d e
| ESignalReturn e => summarize d e