Mercurial > urweb

diff demo/more/dlist.urs @ 962:7e7edfb6fe82

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Testing Dlist StartPosition with constant offset
author Adam Chlipala <adamc@hcoop.net>
date Sat, 19 Sep 2009 13:44:12 -0400
parents 2a50da66ffd8
children 6f9d1565de56
line wrap: on
line diff
--- a/demo/more/dlist.urs	Sat Sep 19 13:32:33 2009 -0400
+++ b/demo/more/dlist.urs	Sat Sep 19 13:44:12 2009 -0400
@@ -12,7 +12,8 @@
 
 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) [] []