summaryrefslogtreecommitdiff
path: root/demo/batchFun.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-20 10:29:17 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-20 10:29:17 -0400
commit66fa98fe9619afa56b10f1357edb617dc813051c (patch)
tree735539d263808b9d6d33d87eef8e4ea98f3b0e39 /demo/batchFun.urs
parenteafb2bfc151efd5fe9a18dd5bba14141a1b832cf (diff)
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'demo/batchFun.urs')
-rw-r--r--demo/batchFun.urs12
1 files changed, 6 insertions, 6 deletions
diff --git a/demo/batchFun.urs b/demo/batchFun.urs
index e3acb197..56e1e88d 100644
--- a/demo/batchFun.urs
+++ b/demo/batchFun.urs
@@ -1,11 +1,11 @@
-con colMeta = fn t_state :: (Type * Type) =>
+con colMeta = fn (db :: Type, state :: Type) =>
{Nam : string,
- Show : t_state.1 -> xbody,
- Inject : sql_injectable t_state.1,
+ Show : db -> xbody,
+ Inject : sql_injectable db,
- NewState : transaction t_state.2,
- Widget : t_state.2 -> xbody,
- ReadState : t_state.2 -> transaction t_state.1}
+ NewState : transaction state,
+ Widget : state -> xbody,
+ ReadState : state -> transaction db}
con colsMeta = fn cols :: {(Type * Type)} => $(map colMeta cols)
val int : string -> colMeta (int, source string)