Mercurial > urweb
diff demo/batchFun.urs @ 1002:bb3fc575cfe7
Adapted existing demos to tuple pattern-matching
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 20 Oct 2009 10:29:17 -0400 |
| parents | 1fb318c17546 |
| children |
line wrap: on
line diff
--- a/demo/batchFun.urs Tue Oct 20 10:19:00 2009 -0400 +++ b/demo/batchFun.urs Tue Oct 20 10:29:17 2009 -0400 @@ -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)