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 | 7e1e019f3fef4c229c06ba2c0c2aa3ec021eedad (patch) | |
| tree | a765ee0cd11f8b42d77606fa4d133daceefff056 /demo/more/meta.urs | |
| parent | c4becb5fa4357e7a27e6536f3a20e3d5d6136cb0 (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) |