diff tests/crud.ur @ 368:b6be16792584

Removed handling of <,> as operators, for now
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Oct 2008 14:17:55 -0400
parents 28d3d7210687
children 226c977faa9c
line wrap: on
line diff
--- a/tests/crud.ur	Thu Oct 16 13:30:40 2008 -0400
+++ b/tests/crud.ur	Thu Oct 16 14:17:55 2008 -0400
@@ -12,10 +12,10 @@
             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 @@
 
 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 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>