summaryrefslogtreecommitdiff
path: root/demo/more/dlist.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-19 13:55:37 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-19 13:55:37 -0400
commitea30827e1977b1d1d028aa7701519bf95b976a3a (patch)
tree01b86deb0a5b412de199989ae743ac05b0574544 /demo/more/dlist.urs
parent41c93b49de08da17c1ea0d4c32481aaf8b6faa57 (diff)
Testing Dlist MaxLength with constant value
Diffstat (limited to 'demo/more/dlist.urs')
-rw-r--r--demo/more/dlist.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/demo/more/dlist.urs b/demo/more/dlist.urs
index cd42f9ee..4da61863 100644
--- a/demo/more/dlist.urs
+++ b/demo/more/dlist.urs
@@ -13,6 +13,7 @@ val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dli
val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
-> (t -> position -> xml (ctx ++ body) [] [])
-> {StartPosition : signal (option int),
+ MaxLength : signal (option int),
Filter : t -> signal bool,
Sort : signal (option (t -> t -> signal bool)) (* <= *)}
-> dlist t