From 30b7dba0eaa5a961ded15729ba64bbf67ce8903e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 11 Apr 2010 13:11:25 -0400 Subject: Update policies --- lib/ur/basis.urs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/ur/basis.urs') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 501284b7..3241cc9a 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -812,5 +812,9 @@ val mayDelete : fs ::: {Type} -> tables ::: {{Type}} -> [[Old] ~ tables] => sql_query [] ([Old = fs] ++ tables) [] -> sql_policy +val mayUpdate : fs ::: {Type} -> tables ::: {{Type}} -> [[Old, New] ~ tables] + => sql_query [] ([Old = fs, New = fs] ++ tables) [] + -> sql_policy + val debug : string -> transaction unit -- cgit v1.2.3