diff src/mono_reduce.sml @ 578:1e589a60b86f

Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 0094e0242100
line wrap: on
line diff
--- a/src/mono_reduce.sml	Tue Dec 30 10:49:42 2008 -0500
+++ b/src/mono_reduce.sml	Tue Dec 30 11:33:31 2008 -0500
@@ -76,7 +76,7 @@
       | ELet (_, _, e1, e2) => impure e1 orelse impure e2
 
       | EClosure (_, es) => List.exists impure es
-      | EJavaScript (_, e) => impure e
+      | EJavaScript (_, e, _) => impure e
       | ESignalReturn e => impure e
       | ESignalBind (e1, e2) => impure e1 orelse impure e2
       | ESignalSource e => impure e
@@ -335,7 +335,7 @@
               | EDml e => summarize d e @ [WriteDb]
               | ENextval e => summarize d e @ [WriteDb]
               | EUnurlify (e, _) => summarize d e
-              | EJavaScript (_, e) => summarize d e
+              | EJavaScript (_, e, _) => summarize d e
               | ESignalReturn e => summarize d e
               | ESignalBind (e1, e2) => summarize d e1 @ summarize d e2
               | ESignalSource e => summarize d e