From b3cfaa74a148d81d3c4a5dcc40b5ae3532b371ea Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 20 Oct 2009 10:29:17 -0400 Subject: Adapted existing demos to tuple pattern-matching --- demo/crud.urs | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) (limited to 'demo/crud.urs') 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) -- cgit v1.2.3