diff tests/crud.urs @ 341:389399d65331

Crud update form
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:03:55 -0400
parents 075b36dbb1a4
children a94a79820d49
line wrap: on
line diff
--- a/tests/crud.urs	Sun Sep 14 15:20:53 2008 -0400
+++ b/tests/crud.urs	Sun Sep 14 19:03:55 2008 -0400
@@ -2,6 +2,7 @@
         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
 }