Mercurial > urweb
diff demo/more/grid.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 | fbc3a0eef45a |
children | be0c4e2e488a |
line wrap: on
line diff
--- a/demo/more/grid.urs Tue Oct 20 10:19:00 2009 -0400 +++ b/demo/more/grid.urs Tue Oct 20 10:29:17 2009 -0400 @@ -10,9 +10,9 @@ Filter : filter -> row -> signal bool, Sort : option (row -> row -> bool)} -con colMeta = fn (row :: Type) (global_input_filter :: (Type * Type * Type)) => - {Initialize : transaction global_input_filter.1, - Handlers : global_input_filter.1 -> colMeta' row global_input_filter.2 global_input_filter.3} +con colMeta = fn (row :: Type) (global :: Type, input :: Type, filter :: Type) => + {Initialize : transaction global, + Handlers : global -> colMeta' row input filter} con aggregateMeta = fn (row :: Type) (acc :: Type) => {Initial : acc,