Mercurial > urweb

diff demo/more/grid.urs @ 1002:bb3fc575cfe7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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,