Mercurial > urweb

comparison lib/ur/basis.urs @ 1240:beb67ff4c8a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'also' policies and policy reduction; calendar in good shape
author Adam Chlipala <adamc@hcoop.net>
date Thu, 15 Apr 2010 10:00:30 -0400
parents a2cd6664f57f
children e80582b927f2
comparison
equal deleted inserted replaced
1239:30f789d5e2ad 1240:beb67ff4c8a0
816 816
817 val mayUpdate : fs ::: {Type} -> tables ::: {{Type}} -> [[Old, New] ~ tables] 817 val mayUpdate : fs ::: {Type} -> tables ::: {{Type}} -> [[Old, New] ~ tables]
818 => sql_query [] ([Old = fs, New = fs] ++ tables) [] 818 => sql_query [] ([Old = fs, New = fs] ++ tables) []
819 -> sql_policy 819 -> sql_policy
820 820
821 val also : sql_policy -> sql_policy -> sql_policy
821 822
822 val debug : string -> transaction unit 823 val debug : string -> transaction unit