summaryrefslogtreecommitdiff
path: root/tests/policy.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 14:37:19 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-04 14:37:19 -0400
commiteb89ae4814a7cf17f76f5ab5d191349ba13bdef4 (patch)
tree92dc9593a0b4e0f22cbe699ae412b79ddf11570e /tests/policy.ur
parent6a326e3bb3eb16e04f3cca082f0dd67278e85785 (diff)
Generated basic dummy Iflow conditions
Diffstat (limited to 'tests/policy.ur')
-rw-r--r--tests/policy.ur14
1 files changed, 12 insertions, 2 deletions
diff --git a/tests/policy.ur b/tests/policy.ur
index db87b582..1087bab9 100644
--- a/tests/policy.ur
+++ b/tests/policy.ur
@@ -1,3 +1,13 @@
-table fruit : { Id : int, Nam : string, Weight : float }
+table fruit : { Id : int, Nam : string, Weight : float, Secret : string }
-policy query_policy (SELECT * FROM fruit)
+policy query_policy (SELECT fruit.Id, fruit.Nam, fruit.Weight FROM fruit)
+
+fun main () =
+ xml <- queryX (SELECT fruit.Nam
+ FROM fruit
+ ORDER BY fruit.Nam)
+ (fn x => <xml><li>{[x.Fruit.Nam]}</li></xml>);
+
+ return <xml><body>
+ {xml}
+ </body></xml>