diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-16 16:00:58 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-16 16:00:58 -0400 |
commit | 22236f78bf5acb81d9c404ab71be9aa3d9e3bf26 (patch) | |
tree | 0841a60524db4ea17a419856effca6eb75d0e7c4 /tests/crud.ur | |
parent | 5a71851c8495e85a43227db438b15a3060d724d9 (diff) |
Crud auto-indented correctly
Diffstat (limited to 'tests/crud.ur')
-rw-r--r-- | tests/crud.ur | 8 |
1 files changed, 4 insertions, 4 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 = _} |