diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-09-19 13:55:37 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-19 13:55:37 -0400 |
commit | c9c3eaa4c489077ef0199eacc16674b328348734 (patch) | |
tree | 01b86deb0a5b412de199989ae743ac05b0574544 /demo/more/grid.ur | |
parent | df4c988ff8d326d0e6c94d9d31712c3bd3a53eb0 (diff) |
Testing Dlist MaxLength with constant value
Diffstat (limited to 'demo/more/grid.ur')
-rw-r--r-- | demo/more/grid.ur | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/more/grid.ur b/demo/more/grid.ur index dbaca7db..560ff146 100644 --- a/demo/more/grid.ur +++ b/demo/more/grid.ur @@ -217,6 +217,7 @@ functor Make(M : sig </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] |