Mercurial > urweb

diff lib/ur/top.urs @ 1775:6bc2a8cb3a67

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Track whether SQL expressions may use window functions, in preparation for actual window function support
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 15:35:58 -0400
parents 9253765d7724
children 818d4097e2ed
line wrap: on
line diff
--- a/lib/ur/top.urs	Sat Jun 02 10:54:49 2012 -0400
+++ b/lib/ur/top.urs	Sat Jun 02 15:35:58 2012 -0400
@@ -269,15 +269,15 @@
                -> transaction bool
 
 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-                 -> t ::: Type -> sql_injectable (option t)
-                 -> sql_exp tables agg exps (option t)
-                 -> sql_exp tables agg exps (option t)
-                 -> sql_exp tables agg exps bool
+                 -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t)
+                 -> sql_exp tables agg exps aw (option t)
+                 -> sql_exp tables agg exps aw (option t)
+                 -> sql_exp tables agg exps aw bool
 
 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-                  -> t ::: Type -> sql_injectable (option t)
-                  -> sql_exp tables agg exps (option t)
+                  -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t)
+                  -> sql_exp tables agg exps aw (option t)
                   -> option t
-                  -> sql_exp tables agg exps bool
+                  -> sql_exp tables agg exps aw bool
 
 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t