summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-16 14:17:55 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-16 14:17:55 -0400
commita1c0b723a03aef245dfe1fe3b49f874da48dec48 (patch)
tree4e2af9e63434ceb00361720e2dcb2512235340f5 /tests
parent0608a7abedf738215560865e43d50909c1652c18 (diff)
Removed handling of <,> as operators, for now
Diffstat (limited to 'tests')
-rw-r--r--tests/crud.ur12
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/crud.ur b/tests/crud.ur
index 64a7b2c5..e6f490e5 100644
--- a/tests/crud.ur
+++ b/tests/crud.ur
@@ -12,10 +12,10 @@ fun default (t ::: Type) (sh : show t) (rd : read t) (inj : sql_injectable t)
name : colMeta (t, string) =
{Nam = name,
Show = txt _,
- Widget = fn nm :: Name => <xml><textbox{nm}/></xml>,
+ Widget = fn nm :: Name => (<xml><textbox{nm}/></xml>),
WidgetPopulated = fn (nm :: Name) n =>
- <xml><textbox{nm} value={show _ n}/></xml>,
- Parse = readError _,
+ (<xml><textbox{nm} value={show _ n}/></xml>),
+ Parse = readError _,e
Inject = _}
val int = default _ _ _
@@ -24,9 +24,9 @@ val string = default _ _ _
fun bool name = {Nam = name,
Show = txt _,
- Widget = fn nm :: Name => <xml><checkbox{nm}/></xml>,
+ Widget = fn nm :: Name => (<xml><checkbox{nm}/></xml>),
WidgetPopulated = fn (nm :: Name) b =>
- <xml><checkbox{nm} checked={b}/></xml>,
+ (<xml><checkbox{nm} checked={b}/></xml>),
Parse = fn x => x,
Inject = _}
@@ -96,7 +96,7 @@ fun update (id : int) =
fun delete (id : int) =
() <- dml (DELETE FROM tab WHERE Id = {id});
return <xml><body>
- The deed is done.
+ The deed is done.
</body></xml>
fun confirm (id : int) = return <xml><body>