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 | b3cfaa74a148d81d3c4a5dcc40b5ae3532b371ea (patch) | |
tree | 735539d263808b9d6d33d87eef8e4ea98f3b0e39 /demo/more/grid.urs | |
parent | aece9fdadf1bdfbf069cc5ac5ab397eef1e3f2ad (diff) |
Adapted existing demos to tuple pattern-matching
Diffstat (limited to 'demo/more/grid.urs')
-rw-r--r-- | demo/more/grid.urs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/demo/more/grid.urs b/demo/more/grid.urs index a918c67b..e47e4139 100644 --- a/demo/more/grid.urs +++ b/demo/more/grid.urs @@ -10,9 +10,9 @@ con colMeta' = fn (row :: Type) (input :: Type) (filter :: Type) => 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, |