diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-12-20 19:02:04 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-12-20 19:02:04 -0500 |
commit | 8e27e217fa4b6fbf34f588e70036fa7a21df5183 (patch) | |
tree | 5358ac1a4e610aa945310524d94aa0aeaf8cc3ac /demo/more/dlist.urs | |
parent | f7b9d1cc2d003582e03ad151bfe54f3d5fa51eb7 (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.urs | 6 |
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]) [] [] |