diff src/monoize.sml @ 813:7b380e2b9e68

Corify FFI datatypes properly; eliminate nested JavaScript markers
author Adam Chlipala <adamc@hcoop.net>
date Sun, 17 May 2009 13:25:57 -0400
parents d8f58d488cfb
children 493f44759879
line wrap: on
line diff
--- a/src/monoize.sml	Sat May 16 18:09:14 2009 -0400
+++ b/src/monoize.sml	Sun May 17 13:25:57 2009 -0400
@@ -2538,9 +2538,9 @@
 
                   | "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 @@
 
 fun monoize env file =
     let
-
-
         (* Calculate which exported functions need cookie signature protection *)
         val rcook = foldl (fn ((d, _), rcook) =>
                               case d of