Mercurial > urweb
diff lib/ur/basis.urs @ 1282:a9a500d22ebc
Roll back WHERE checking
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 27 Jul 2010 14:04:09 -0400 |
| parents | 60e19545841b |
| children | 5137b0537c92 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Tue Jul 27 12:12:08 2010 -0400 +++ b/lib/ur/basis.urs Tue Jul 27 14:04:09 2010 -0400 @@ -819,11 +819,6 @@ => sql_query [] ([Old = fs, New = fs] ++ tables) [] -> sql_policy -val equalAny : nm :: Name -> t ::: Type -> fs ::: {Type} -> ks ::: {{Unit}} - -> [[nm] ~ fs] => sql_table ([nm = t] ++ fs) ks -> sql_policy -val equalKnown : nm :: Name -> t ::: Type -> fs ::: {Type} -> ks ::: {{Unit}} - -> [[nm] ~ fs] => sql_table ([nm = t] ++ fs) ks -> sql_policy - val also : sql_policy -> sql_policy -> sql_policy val debug : string -> transaction unit