diff src/mono.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 57f476c934da
line wrap: on
line diff
--- a/src/mono.sml	Tue Dec 30 10:49:42 2008 -0500
+++ b/src/mono.sml	Tue Dec 30 11:33:31 2008 -0500
@@ -103,7 +103,7 @@
 
        | EUnurlify of exp * typ
 
-       | EJavaScript of javascript_mode * exp
+       | EJavaScript of javascript_mode * exp * exp option
 
        | ESignalReturn of exp
        | ESignalBind of exp * exp