diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/policy.ur | 14 | ||||
| -rw-r--r-- | tests/policy.urs | 1 |
2 files changed, 13 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> diff --git a/tests/policy.urs b/tests/policy.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/policy.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |