diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/crud.ur | 8 | ||||
| -rw-r--r-- | tests/crud.urs | 2 |
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) |