summaryrefslogtreecommitdiff
path: root/src/mono_reduce.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-19 12:38:11 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-19 12:38:11 -0500
commit3eba512008eb94393e65533966aeb21c90a231f3 (patch)
tree120f43205b07cf55f8d1af41742dd275a4d863ca /src/mono_reduce.sml
parent2c8e4cddb5f5c7a85337b8c42135c346b14de1f4 (diff)
Displayed an alert dialog
Diffstat (limited to 'src/mono_reduce.sml')
-rw-r--r--src/mono_reduce.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 9cf6d8e8..040414f3 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -75,6 +75,7 @@ fun impure (e, _) =
| ELet (_, _, e1, e2) => impure e1 orelse impure e2
| EClosure (_, es) => List.exists impure es
+ | EJavaScript e => impure e
val liftExpInExp = Monoize.liftExpInExp
@@ -329,6 +330,7 @@ fun reduce file =
| EDml e => summarize d e @ [WriteDb]
| ENextval e => summarize d e @ [WriteDb]
| EUnurlify (e, _) => summarize d e
+ | EJavaScript e => summarize d e
fun exp env e =