comparison lib/ur/basis.urs @ 1223:62af4cacd191

Update policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 13:11:25 -0400
parents 00e628854005
children a2cd6664f57f
comparison
equal deleted inserted replaced
1222:117f13bdc1fd 1223:62af4cacd191
810 810
811 val mayDelete : fs ::: {Type} -> tables ::: {{Type}} -> [[Old] ~ tables] 811 val mayDelete : fs ::: {Type} -> tables ::: {{Type}} -> [[Old] ~ tables]
812 => sql_query [] ([Old = fs] ++ tables) [] 812 => sql_query [] ([Old = fs] ++ tables) []
813 -> sql_policy 813 -> sql_policy
814 814
815 val mayUpdate : fs ::: {Type} -> tables ::: {{Type}} -> [[Old, New] ~ tables]
816 => sql_query [] ([Old = fs, New = fs] ++ tables) []
817 -> sql_policy
818
815 819
816 val debug : string -> transaction unit 820 val debug : string -> transaction unit