summaryrefslogtreecommitdiff
path: root/src/cjrize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-30 11:33:31 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-30 11:33:31 -0500
commit8d3edc5aaa4617dd06623447cf9357067eadc072 (patch)
treeb7021de5c40560deac989019822d5180fc46ed43 /src/cjrize.sml
parent493ec594ea29706c85196d1b616ab28ed3da6797 (diff)
Harmonized source-setting between server and client
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r--src/cjrize.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml
index 6d0ece61..1a5d10c0 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -422,7 +422,9 @@ fun cifyExp (eAll as (e, loc), sm) =
((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"