Mercurial > urweb

diff demo/more/dlist.urs @ 952:07569af40069

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Insert dummy Sort parameter
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 14:42:02 -0400
parents 103ac1792c41
children 2a50da66ffd8
line wrap: on
line diff
--- a/demo/more/dlist.urs	Thu Sep 17 14:27:00 2009 -0400
+++ b/demo/more/dlist.urs	Thu Sep 17 14:42:02 2009 -0400
@@ -10,6 +10,7 @@
 
 val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
              -> (t -> position -> xml (ctx ++ body) [] [])
-             -> {Filter : t -> signal bool}
+             -> {Filter : t -> signal bool,
+                 Sort : signal (option (t -> t -> signal bool)) (* <= *)}
              -> dlist t
              -> xml (ctx ++ body) [] []