diff demo/more/dlist.urs @ 1641:68429cfce8db

Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 19:02:04 -0500
parents e9c5992bc9bc
children
line wrap: on
line diff
--- a/demo/more/dlist.urs	Sun Dec 18 12:00:36 2011 -0500
+++ b/demo/more/dlist.urs	Tue Dec 20 19:02:04 2011 -0500
@@ -12,11 +12,11 @@
 val numPassing : t ::: Type -> (t -> signal bool) -> dlist t -> signal int
 val foldl : t ::: Type -> acc ::: Type -> (t -> acc -> signal acc) -> acc -> dlist t -> signal acc
 
-val render : ctx ::: {Unit} -> [ctx ~ body] => t ::: Type
-             -> (t -> position -> xml (ctx ++ body) [] [])
+val render : ctx ::: {Unit} -> [ctx ~ [Dyn]] => t ::: Type
+             -> (t -> position -> xml (ctx ++ [Dyn]) [] [])
              -> {StartPosition : signal (option int),
                  MaxLength : signal (option int),
                  Filter : t -> signal bool,
                  Sort : signal (option (t -> t -> signal bool)) (* <= *)}
              -> dlist t
-             -> xml (ctx ++ body) [] []
+             -> xml (ctx ++ [Dyn]) [] []