Mercurial > urweb
diff src/mono_opt.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 | 57018f21cd5c |
children | 96ebc6bdb5a0 |
line wrap: on
line diff
--- a/src/mono_opt.sml Tue Dec 30 10:49:42 2008 -0500 +++ b/src/mono_opt.sml Tue Dec 30 11:33:31 2008 -0500 @@ -363,6 +363,8 @@ | 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)