Mercurial > urweb

diff src/cjrize.sml @ 578:1e589a60b86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 330a7de47914
line wrap: on
line diff
--- a/src/cjrize.sml	Tue Dec 30 10:49:42 2008 -0500
+++ b/src/cjrize.sml	Tue Dec 30 11:33:31 2008 -0500
@@ -422,7 +422,9 @@
             ((L'.EUnurlify (e, t), loc), sm)
         end
 
+      | L.EJavaScript (_, _, SOME e) => cifyExp (e, sm)
       | L.EJavaScript _ => raise Fail "Cjrize: EJavaScript remains"
+
       | L.ESignalReturn _ => raise Fail "Cjrize: ESignalReturn remains"
       | L.ESignalBind _ => raise Fail "Cjrize: ESignalBind remains"
       | L.ESignalSource _ => raise Fail "Cjrize: ESignalSource remains"