Mercurial > urweb
annotate tests/policy2.ur @ 1909:659d1f4e95bf
make dist: Use fewer wildcards
The remaining ones only work by accident:
http://www.gnu.org/software/automake/manual/html_node/Wildcards.html
and they have some practical problems too (we don?t really want to
distribute include/urweb/config.h or src/config.sml), but this is
enough for now to pass ?make distcheck? as long as we don?t run it
from a separate build directory.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 6 +++---
src/c/Makefile.am | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
| author | Anders Kaseorg <andersk@mit.edu> |
|---|---|
| date | Fri, 22 Nov 2013 09:36:14 -0500 |
| parents | d5ecceb7d1a1 |
| children |
| rev | line source |
|---|---|
| adamc@1236 | 1 type fruit = int |
| adamc@1236 | 2 table fruit : { Id : fruit, Nam : string, Weight : float, Secret : string } |
| adamc@1236 | 3 PRIMARY KEY Id, |
| adamc@1236 | 4 CONSTRAINT Nam UNIQUE Nam |
| adamc@1236 | 5 |
| adamc@1236 | 6 (* Everyone may knows IDs and names. *) |
| adamc@1236 | 7 policy sendClient (SELECT fruit.Id, fruit.Nam |
| adamc@1236 | 8 FROM fruit) |
| adamc@1236 | 9 |
| adamc@1236 | 10 (* The weight is sensitive information; you must know the secret. *) |
| adamc@1236 | 11 policy sendClient (SELECT fruit.Weight, fruit.Secret |
| adamc@1236 | 12 FROM fruit |
| adamc@1236 | 13 WHERE known(fruit.Secret)) |
| adamc@1236 | 14 |
| adamc@1236 | 15 fun main () = |
| adamc@1236 | 16 x1 <- queryX (SELECT fruit.Id, fruit.Nam |
| adamc@1236 | 17 FROM fruit |
| adamc@1236 | 18 WHERE fruit.Nam = "apple") |
| adamc@1236 | 19 (fn x => <xml><li>{[x.Fruit.Id]}: {[x.Fruit.Nam]}</li></xml>); |
| adamc@1236 | 20 return <xml><body> |
| adamc@1236 | 21 <ul>{x1}</ul> |
| adamc@1236 | 22 </body></xml> |