Mercurial > urweb

diff lib/ur/basis.urs @ 1220:526575a9537a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Insert policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 10:57:52 -0400
parents 648e6b087dfb
children 00e628854005
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Apr 10 13:12:42 2010 -0400
+++ b/lib/ur/basis.urs	Sun Apr 11 10:57:52 2010 -0400
@@ -804,5 +804,9 @@
                  -> [tables ~ exps] => sql_query [] tables exps
                  -> sql_policy
 
+val mayInsert : fs ::: {Type} -> tables ::: {{Type}} -> [[New] ~ tables]
+                => sql_query [] ([New = fs] ++ tables) []
+                -> sql_policy
+
 
 val debug : string -> transaction unit