diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-14 16:41:48 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-14 16:41:48 -0400 |
| commit | 8f64fda22cf9820a07c251acf755e14c836020a8 (patch) | |
| tree | fa9040c08be5a9a426d61cad3a2215a3f1ae7d14 /src | |
| parent | 98c7a9c7a897d8a5f7a483aa15bf211c9769dad4 (diff) | |
lform -> form
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 8 | ||||
| -rw-r--r-- | src/urweb.grm | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 9fc0458d..da7b9767 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1361,7 +1361,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | _ => (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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | _ => (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 diff --git a/src/urweb.grm b/src/urweb.grm index 8d5f8bb7..3511093c 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -955,8 +955,8 @@ xmlOne : NOTAGS (EApp ((EVar (["Basis"], "cdata"), s (NO val et = tagIn END_TAG in if #1 tag = et then - if et = "lform" then - (EApp ((EVar (["Basis"], "lform"), pos), + if et = "form" then + (EApp ((EVar (["Basis"], "form"), pos), xml), pos) else (EApp (#2 tag, xml), pos) |