Mercurial > urweb

diff src/monoize.sml @ 410:c5a3d223f157

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sql demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 18:44:52 -0400
parents 8084fa9216de
children e0e9e9eca1cb
line wrap: on
line diff
--- a/src/monoize.sml	Tue Oct 21 17:49:14 2008 -0400
+++ b/src/monoize.sml	Tue Oct 21 18:44:52 2008 -0400
@@ -1535,7 +1535,8 @@
 
                             val s = (L'.EPrim (Prim.String (String.concat ["<", tag])), loc)
                         in
-                            foldl (fn ((x, e, t), (s, fm)) =>
+                            foldl (fn (("Action", _, _), acc) => acc
+                                    | ((x, e, t), (s, fm)) =>
                                       case t of
                                           (L'.TFfi ("Basis", "bool"), _) =>
                                           let
@@ -1567,7 +1568,6 @@
                                                   case x of
                                                       "Href" => urlifyExp
                                                     | "Link" => urlifyExp
-                                                    | "Action" => urlifyExp
                                                     | _ => attrifyExp
 
                                               val xp = " " ^ lowercaseFirst x ^ "=\""
@@ -1633,7 +1633,7 @@
                     end
             in
                 case tag of
-                    "submit" => ((L'.EPrim (Prim.String "<input type=\"submit\"/>"), loc), fm)
+                    "submit" => normal ("input type=\"submit\"", NONE)
 
                   | "textbox" =>
                     (case targs of