From fe35c44cd34ceb2a2f02b27f56bf1607557bb89a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 14 Sep 2008 19:03:55 -0400 Subject: Crud update form --- tests/crud.urs | 1 + 1 file changed, 1 insertion(+) (limited to 'tests/crud.urs') diff --git a/tests/crud.urs b/tests/crud.urs index d445ed6e..3056392c 100644 --- a/tests/crud.urs +++ b/tests/crud.urs @@ -2,6 +2,7 @@ con colMeta = fn t_formT :: (Type * Type) => { Nam : string, Show : t_formT.1 -> xbody, Widget : nm :: Name -> xml form [] [nm = t_formT.2], + WidgetPopulated : nm :: Name -> t_formT.1 -> xml form [] [nm = t_formT.2], Parse : t_formT.2 -> t_formT.1, Inject : sql_injectable t_formT.1 } -- cgit v1.2.3