diff demo/more/grid.ur @ 962:7e7edfb6fe82

Testing Dlist StartPosition with constant offset
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:44:12 -0400
parents 8c37699de273
children 6f9d1565de56
line wrap: on
line diff
--- a/demo/more/grid.ur	Sat Sep 19 13:32:33 2009 -0400
+++ b/demo/more/grid.ur	Sat Sep 19 13:44:12 2009 -0400
@@ -216,7 +216,8 @@
                                                              [_] M.folder grid.Cols M.cols cols)}/>
                                 </tr></xml>
                           end)
-                      {Filter = fn all =>
+                      {StartPosition = return (Some 1),
+                       Filter = fn all =>
                                    row <- signal all.Row;
                                    foldR3 [colMeta M.row] [fst3] [thd3] [fn _ => M.row -> signal bool]
                                           (fn [nm :: Name] [p :: (Type * Type * Type)]