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/more/grid.urs | |
| parent | eafb2bfc151efd5fe9a18dd5bba14141a1b832cf (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, |