diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-04 16:15:13 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-04 16:15:13 -0400 |
commit | f7e81b4b27489ea0cf814aa48426b3972f73532d (patch) | |
tree | fe36f78ac70407492949f699f7c840f353957999 /tests/crud1.ur | |
parent | 820db2a3a1c185ea91d8a8f14a30a52489595e3f (diff) |
Use checkbox in CRUD example
Diffstat (limited to 'tests/crud1.ur')
-rw-r--r-- | tests/crud1.ur | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/crud1.ur b/tests/crud1.ur index fb2e4854..a857d3d8 100644 --- a/tests/crud1.ur +++ b/tests/crud1.ur @@ -5,7 +5,7 @@ open Crud.Make(struct A = (int, string), B = (string, string), C = (float, string), - D = (bool, string) + D = (bool, bool) ] val tab = t1 @@ -40,9 +40,9 @@ open Crud.Make(struct D = { Nam = "D", Show = txt _, - Widget = fn nm :: Name => <lform><textbox{nm}/></lform>, - WidgetPopulated = fn (nm :: Name) b => <lform><textbox{nm} value={show _ b}/></lform>, - Parse = readError _, + Widget = fn nm :: Name => <lform><checkbox{nm}/></lform>, + WidgetPopulated = fn (nm :: Name) b => <lform><checkbox{nm} checked={b}/></lform>, + Parse = fn x => x, Inject = sql_bool } } |