diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-19 12:38:11 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-19 12:38:11 -0500 |
| commit | 3eba512008eb94393e65533966aeb21c90a231f3 (patch) | |
| tree | 120f43205b07cf55f8d1af41742dd275a4d863ca /src/mono_reduce.sml | |
| parent | 2c8e4cddb5f5c7a85337b8c42135c346b14de1f4 (diff) | |
Displayed an alert dialog
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 2 |
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 = |