diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-22 16:15:56 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 16:15:56 -0400 |
| commit | df4090ae1a231b363a0bc5d38036628e738276ee (patch) | |
| tree | a765ee0cd11f8b42d77606fa4d133daceefff056 /demo/more/meta.urs | |
| parent | dff3c4a68a27213e3c2ebcd6223e14ae79842a7a (diff) | |
Initial support for char in SQL
Diffstat (limited to 'demo/more/meta.urs')
| -rw-r--r-- | demo/more/meta.urs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/demo/more/meta.urs b/demo/more/meta.urs index 90c4e17e..0d3422af 100644 --- a/demo/more/meta.urs +++ b/demo/more/meta.urs @@ -18,6 +18,9 @@ val allContent : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> fo val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts -> xml form [] (map snd ts) +val allPopulated : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts + -> xml form [] (map snd ts) + val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts -> xml ([Tr] ++ form) [] (map snd ts) |