diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-17 13:25:57 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-17 13:25:57 -0400 |
| commit | 8d4ec5e3186b939a3c4d4a04e0e834836dd2c779 (patch) | |
| tree | a3bf9deae6a78fff3abf976b31a5b8b427695edb /src/monoize.sml | |
| parent | fd44d539abb06cf86fd8fe76369c056b8f892a26 (diff) | |
Corify FFI datatypes properly; eliminate nested JavaScript markers
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 50bd04e8..8ced53bb 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2538,9 +2538,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | "dyn" => (case attrs of - [("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), + (*[("Signal", (L'.EApp ((L'.EAbs (_, _, _, (L'.ESignalReturn (L'.ERel 0, _), _)), _), e), _), _)] => (e, fm) - | [("Signal", e, _)] => + |*) [("Signal", e, _)] => ((L'.EStrcat ((L'.EPrim (Prim.String "<span><script type=\"text/javascript\">dyn("), loc), (L'.EStrcat ((L'.EJavaScript (L'.Script, e, NONE), loc), @@ -3188,8 +3188,6 @@ datatype expungable = Client | Channel fun monoize env file = let - - (* Calculate which exported functions need cookie signature protection *) val rcook = foldl (fn ((d, _), rcook) => case d of |