Mercurial > urweb

diff src/mono_reduce.sml @ 566:a152905c3c3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Displayed an alert dialog
author Adam Chlipala <adamc@hcoop.net>
date Fri, 19 Dec 2008 12:38:11 -0500
parents 74800be65591
children 55fc747a67dc
line wrap: on
line diff
--- a/src/mono_reduce.sml	Fri Dec 19 11:47:18 2008 -0500
+++ b/src/mono_reduce.sml	Fri Dec 19 12:38:11 2008 -0500
@@ -75,6 +75,7 @@
       | 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 @@
               | 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 =