diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-19 13:44:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-19 13:44:12 -0400 |
| commit | 41c93b49de08da17c1ea0d4c32481aaf8b6faa57 (patch) | |
| tree | da7d19f0f8711523ec52bc98419c70d410b0ea69 /demo/more/grid.ur | |
| parent | 11fd1db04f22101a5a0fa8e1d5b57126e75f6eb5 (diff) | |
Testing Dlist StartPosition with constant offset
Diffstat (limited to 'demo/more/grid.ur')
| -rw-r--r-- | demo/more/grid.ur | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur index 7cd16d72..dbaca7db 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -216,7 +216,8 @@ functor Make(M : sig [_] 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)] |