From df4c988ff8d326d0e6c94d9d31712c3bd3a53eb0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 19 Sep 2009 13:44:12 -0400
Subject: Testing Dlist StartPosition with constant offset

---
 demo/more/dlist.urs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'demo/more/dlist.urs')

diff --git a/demo/more/dlist.urs b/demo/more/dlist.urs
index b25e41a1..cd42f9ee 100644
--- a/demo/more/dlist.urs
+++ b/demo/more/dlist.urs
@@ -12,7 +12,8 @@ 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) [] [])
-             -> {Filter : t -> signal bool,
+             -> {StartPosition : signal (option int),
+                 Filter : t -> signal bool,
                  Sort : signal (option (t -> t -> signal bool)) (* <= *)}
              -> dlist t
              -> xml (ctx ++ body) [] []
-- 
cgit v1.2.3