From f7e81b4b27489ea0cf814aa48426b3972f73532d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 4 Oct 2008 16:15:13 -0400 Subject: Use checkbox in CRUD example --- tests/crud1.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tests/crud1.ur') 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 => , - WidgetPopulated = fn (nm :: Name) b => , - Parse = readError _, + Widget = fn nm :: Name => , + WidgetPopulated = fn (nm :: Name) b => , + Parse = fn x => x, Inject = sql_bool } } -- cgit v1.2.3