diff demo/more/grid.ur @ 963:6f9d1565de56

Testing Dlist MaxLength with constant value
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:55:37 -0400
parents 7e7edfb6fe82
children fbc3a0eef45a
line wrap: on
line diff
--- a/demo/more/grid.ur	Sat Sep 19 13:44:12 2009 -0400
+++ b/demo/more/grid.ur	Sat Sep 19 13:55:37 2009 -0400
@@ -217,6 +217,7 @@
                                 </tr></xml>
                           end)
                       {StartPosition = return (Some 1),
+                       MaxLength = return (Some 2),
                        Filter = fn all =>
                                    row <- signal all.Row;
                                    foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool]