Mercurial > urweb

diff tests/policy.ur @ 1236:d5ecceb7d1a1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Completely redid main Iflow logic; so far, policy and policy2 work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Apr 2010 16:30:46 -0400
parents 7dfa67560916
children
line wrap: on
line diff
--- a/tests/policy.ur	Tue Apr 13 11:34:59 2010 -0400
+++ b/tests/policy.ur	Tue Apr 13 16:30:46 2010 -0400
@@ -9,9 +9,7 @@
   CONSTRAINT Fruit FOREIGN KEY Fruit REFERENCES fruit(Id)
 
 (* Everyone may knows IDs and names. *)
-policy sendClient (SELECT fruit.Id
-                   FROM fruit)
-policy sendClient (SELECT fruit.Nam
+policy sendClient (SELECT fruit.Id, fruit.Nam
                    FROM fruit)
 
 (* The weight is sensitive information; you must know the secret. *)