diff tests/crud1.ur @ 353:9390c55b9f1f

More indenting
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Oct 2008 10:48:01 -0400
parents 3a1e36b14105
children c1e96b387115
line wrap: on
line diff
--- a/tests/crud1.ur	Sun Oct 12 10:30:08 2008 -0400
+++ b/tests/crud1.ur	Sun Oct 12 10:48:01 2008 -0400
@@ -1,36 +1,44 @@
 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
 
+val a = {Nam = "A",
+         Show = txt _,
+         Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
+         WidgetPopulated = fn (nm :: Name) n =>
+                              <lform><textbox{nm} value={show _ n}/></lform>,
+         Parse = readError _,
+         Inject = _}
+
+val b = {Nam = "B",
+         Show = txt _,
+         Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
+         WidgetPopulated = fn (nm :: Name) s =>
+                              <lform><textbox{nm} value={s}/></lform>,
+         Parse = readError _,
+         Inject = _}
+
+val c = {Nam = "C",
+         Show = txt _,
+         Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
+         WidgetPopulated = fn (nm :: Name) n =>
+                              <lform><textbox{nm} value={show _ n}/></lform>,
+         Parse = readError _,
+         Inject = _}
+
+val d = {Nam = "D",
+         Show = txt _,
+         Widget = fn nm :: Name => <lform><checkbox{nm}/></lform>,
+         WidgetPopulated = fn (nm :: Name) b =>
+                              <lform><checkbox{nm} checked={b}/></lform>,
+         Parse = fn x => x,
+         Inject = _}
+
 open Crud.Make(struct
                    val tab = t1
                              
                    val title = "Crud1"
                                
-                   val cols = {
-                       A = {Nam = "A",
-                            Show = txt _,
-                            Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
-                            WidgetPopulated = fn (nm :: Name) n => <lform><textbox{nm} value={show _ n}/></lform>,
-                            Parse = readError _,
-                            Inject = _},
-                       B = {Nam = "B",
-                            Show = txt _,
-                            Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
-                            WidgetPopulated = fn (nm :: Name) s => <lform><textbox{nm} value={s}/></lform>,
-                            Parse = readError _,
-                            Inject = _
-                           },
-                       C = {Nam = "C",
-                            Show = txt _,
-                            Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
-                            WidgetPopulated = fn (nm :: Name) n => <lform><textbox{nm} value={show _ n}/></lform>,
-                            Parse = readError _,
-                            Inject = _
-                           },
-                       D = {Nam = "D",
-                            Show = txt _,
-                            Widget = fn nm :: Name => <lform><checkbox{nm}/></lform>,
-                            WidgetPopulated = fn (nm :: Name) b => <lform><checkbox{nm} checked={b}/></lform>,
-                            Parse = fn x => x,
-                            Inject = _}
-                   }
+                   val cols = {A = a,
+                               B = b,
+                               C = c,
+                               D = d}
                end)