Adapted existing demos to tuple pattern-matching

1 files changed, 4 insertions, 4 deletions

diff --git a/demo/more/grid.ur b/demo/more/grid.ur
index f2b9681c..170c6f2c 100644
--- a/demo/more/grid.ur
+++ b/demo/more/grid.ur
@@ -9,10 +9,10 @@ con colMeta' = fn (row :: Type) (input :: Type) (filter :: Type) =>
                    DisplayFilter : filter -> xbody,
                    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,