diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 11:33:31 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 11:33:31 -0500 |
commit | 8d3edc5aaa4617dd06623447cf9357067eadc072 (patch) | |
tree | b7021de5c40560deac989019822d5180fc46ed43 /src/mono_opt.sml | |
parent | 493ec594ea29706c85196d1b616ab28ed3da6797 (diff) |
Harmonized source-setting between server and client
Diffstat (limited to 'src/mono_opt.sml')
-rw-r--r-- | src/mono_opt.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index 550a055c..7f23d8b1 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -363,6 +363,8 @@ fun exp e = | ESignalBind ((ESignalReturn e1, loc), e2) => optExp (EApp (e2, e1), loc) + | EJavaScript (_, _, SOME (e, _)) => e + | _ => e and optExp e = #1 (U.Exp.map {typ = typ, exp = exp} e) |