summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 18:44:52 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 18:44:52 -0400
commitd66bb9f256db65e3487dec361a4a5a9d7ee238b0 (patch)
tree02a7bb0fa4faec1697c91fbc22c46014b3ff49c5 /src/monoize.sml
parentd249f18f65213b5a198f39e254982293ecaa0e10 (diff)
Sql demo
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 36ae4a08..cacf3d6d 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1535,7 +1535,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
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 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
case x of
"Href" => urlifyExp
| "Link" => urlifyExp
- | "Action" => urlifyExp
| _ => attrifyExp
val xp = " " ^ lowercaseFirst x ^ "=\""
@@ -1633,7 +1633,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
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