diff src/monoize.sml @ 361:260b680a6a04

lform -> form
author Adam Chlipala <adamc@hcoop.net>
date Tue, 14 Oct 2008 16:41:48 -0400
parents 58eeeb3cbf40
children 1195f6e4d208
line wrap: on
line diff
--- a/src/monoize.sml	Tue Oct 14 16:37:43 2008 -0400
+++ b/src/monoize.sml	Tue Oct 14 16:41:48 2008 -0400
@@ -1361,7 +1361,7 @@
                        | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
                                raise Fail "No name passed to textarea tag"))
                   | "password" => input "password"
-                  | "ltextarea" =>
+                  | "textarea" =>
                     (case targs of
                          [_, (L.CName name, _)] =>
                          let
@@ -1393,7 +1393,7 @@
                          normal ("input",
                                  SOME (L'.EPrim (Prim.String (" type=\"radio\" name=\"" ^ name ^ "\"")), loc)))
 
-                  | "lselect" =>
+                  | "select" =>
                     (case targs of
                          [_, (L.CName name, _)] =>
                          let
@@ -1411,14 +1411,14 @@
                        | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs);
                                raise Fail "No name passed to lselect tag"))
 
-                  | "loption" => normal ("option", NONE)
+                  | "option" => normal ("option", NONE)
 
                   | "tabl" => normal ("table", NONE)
                   | _ => normal (tag, NONE)
             end
 
           | L.EApp ((L.ECApp (
-                     (L.ECApp ((L.EFfi ("Basis", "lform"), _), _), _),
+                     (L.ECApp ((L.EFfi ("Basis", "form"), _), _), _),
                      _), _),
                     xml) =>
             let