diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:29:17 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-20 10:29:17 -0400 |
commit | 66fa98fe9619afa56b10f1357edb617dc813051c (patch) | |
tree | 735539d263808b9d6d33d87eef8e4ea98f3b0e39 /demo/batchFun.ur | |
parent | eafb2bfc151efd5fe9a18dd5bba14141a1b832cf (diff) |
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'demo/batchFun.ur')
-rw-r--r-- | demo/batchFun.ur | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/demo/batchFun.ur b/demo/batchFun.ur index d88f11ca..c75cbb07 100644 --- a/demo/batchFun.ur +++ b/demo/batchFun.ur @@ -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) fun default [t] (sh : show t) (rd : read t) (inj : sql_injectable t) |