summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-14 16:41:48 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-14 16:41:48 -0400
commit8f64fda22cf9820a07c251acf755e14c836020a8 (patch)
treefa9040c08be5a9a426d61cad3a2215a3f1ae7d14 /tests
parent98c7a9c7a897d8a5f7a483aa15bf211c9769dad4 (diff)
lform -> form
Diffstat (limited to 'tests')
-rw-r--r--tests/crud.ur8
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/crud.ur b/tests/crud.ur
index 32233eb0..b22cb157 100644
--- a/tests/crud.ur
+++ b/tests/crud.ur
@@ -54,7 +54,7 @@ fun update (id : int) =
fso <- oneOrNoRows (SELECT tab.{{mapT2T fstTT M.cols}} FROM tab WHERE tab.Id = {id});
case fso : (Basis.option {Tab : $(mapT2T fstTT M.cols)}) of
None => return <xml><body>Not found!</body></xml>
- | Some fs => return <xml><body><lform>
+ | Some fs => return <xml><body><form>
{foldT2R2 [fstTT] [colMeta] [fn cols :: {(Type * Type)} => xml form [] (mapT2T sndTT cols)]
(fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)})
[[nm] ~ rest] (v : t.1) (col : colMeta t)
@@ -67,7 +67,7 @@ fun update (id : int) =
[M.cols] fs.Tab M.cols}
<submit action={save id}/>
- </lform></body></xml>
+ </form></body></xml>
fun delete (id : int) =
() <- dml (DELETE FROM tab WHERE Id = {id});
@@ -117,7 +117,7 @@ fun main () =
<br/>
- <lform>
+ <form>
{foldT2R [colMeta] [fn cols :: {(Type * Type)} => xml form [] (mapT2T sndTT cols)]
(fn (nm :: Name) (t :: (Type * Type)) (rest :: {(Type * Type)})
[[nm] ~ rest] (col : colMeta t) (acc : xml form [] (mapT2T sndTT rest)) => <xml>
@@ -128,7 +128,7 @@ fun main () =
[M.cols] M.cols}
<submit action={create}/>
- </lform>
+ </form>
</body></xml>
end