Mercurial > urweb

diff lib/basis.urs @ 544:4154b4dc62c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finish documenting queries; remove a stray [unit] argument
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Dec 2008 10:02:04 -0500
parents 7cb418e9714f
children 5d494183ca89
line wrap: on
line diff
--- a/lib/basis.urs	Sun Dec 07 09:19:53 2008 -0500
+++ b/lib/basis.urs	Sun Dec 07 10:02:04 2008 -0500
@@ -232,7 +232,7 @@
         -> sql_exp tables agg exps bool
 
 val sql_count : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}
-                -> unit -> sql_exp tables agg exps int
+                -> sql_exp tables agg exps int
 
 con sql_aggregate :: Type -> Type
 val sql_aggregate : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type}