Mercurial > urweb
diff tests/policy.ur @ 1236:d5ecceb7d1a1
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. *)