Adapted existing demos to tuple pattern-matching

1 files changed, 6 insertions, 7 deletions

diff --git a/demo/crud.urs b/demo/crud.urs
index 9b1055b2..3690d31e 100644
--- a/demo/crud.urs
+++ b/demo/crud.urs
@@ -1,11 +1,10 @@
-con colMeta = fn t_formT :: (Type * Type) =>
+con colMeta = fn (db :: Type, widget :: 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}
+                  Show : db -> xbody,
+                  Widget : nm :: Name -> xml form [] [nm = widget],
+                  WidgetPopulated : nm :: Name -> db -> xml form [] [nm = widget],
+                  Parse : widget -> db,
+                  Inject : sql_injectable db}
 con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols)
 
 val int : string -> colMeta (int, string)