summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/crud.ur8
-rw-r--r--tests/crud.urs2
2 files changed, 5 insertions, 5 deletions
diff --git a/tests/crud.ur b/tests/crud.ur
index 81c34472..5427100c 100644
--- a/tests/crud.ur
+++ b/tests/crud.ur
@@ -12,9 +12,9 @@ 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>),
+ <xml><textbox{nm} value={show _ n}/></xml>,
Parse = readError _,
Inject = _}
@@ -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 = _}
diff --git a/tests/crud.urs b/tests/crud.urs
index 7796a7a2..33090421 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -3,7 +3,7 @@ con colMeta = fn t_formT :: (Type * Type) =>
Show : t_formT.1 -> xbody,
Widget : nm :: Name -> xml form [] [nm = t_formT.2],
WidgetPopulated : nm :: Name -> t_formT.1
- -> xml form [] [nm = t_formT.2],
+ -> xml form [] [nm = t_formT.2],
Parse : t_formT.2 -> t_formT.1,
Inject : sql_injectable t_formT.1}
con colsMeta = fn cols :: {(Type * Type)} => $(mapT2T colMeta cols)