Mercurial > urweb

diff lib/ur/top.urs @ 1778:818d4097e2ed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lighter-weight encoding of window function use
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jun 2012 11:29:31 -0400
parents 6bc2a8cb3a67
children 69daa6d70299
line wrap: on
line diff
--- a/lib/ur/top.urs	Sat Jun 02 16:47:09 2012 -0400
+++ b/lib/ur/top.urs	Sun Jun 03 11:29:31 2012 -0400
@@ -269,15 +269,15 @@
                -> transaction bool
 
 val eqNullable : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-                 -> 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
+                 -> 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
 
 val eqNullable' : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-                  -> aw ::: {Unit} -> t ::: Type -> sql_injectable (option t)
-                  -> sql_exp tables agg exps aw (option t)
+                  -> t ::: Type -> sql_injectable (option t)
+                  -> sql_exp tables agg exps (option t)
                   -> option t
-                  -> sql_exp tables agg exps aw bool
+                  -> sql_exp tables agg exps bool
 
 val mkRead' : t ::: Type -> (string -> option t) -> string -> read t