aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/more/dlist.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-20 19:02:04 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-20 19:02:04 -0500
commit8e27e217fa4b6fbf34f588e70036fa7a21df5183 (patch)
tree5358ac1a4e610aa945310524d94aa0aeaf8cc3ac /demo/more/dlist.urs
parentf7b9d1cc2d003582e03ad151bfe54f3d5fa51eb7 (diff)
Redo HTML context classification, to keep regular <body> tags out of <table> and <tr>
Diffstat (limited to 'demo/more/dlist.urs')
-rw-r--r--demo/more/dlist.urs6
1 files changed, 3 insertions, 3 deletions
diff --git a/demo/more/dlist.urs b/demo/more/dlist.urs
index 3509ef2d..115c72be 100644
--- a/demo/more/dlist.urs
+++ b/demo/more/dlist.urs
@@ -12,11 +12,11 @@ val size : t ::: Type -> dlist t -> signal int
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]) [] []