diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-07 10:02:04 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-07 10:02:04 -0500 |
| commit | 6da109f29357054c27022d363819edd5da94206c (patch) | |
| tree | 4ff84680b2fec4fa671754ce8c5d082269968da4 /lib | |
| parent | 80bbc587e8c3e897cb30f0723187950254c6632b (diff) | |
Finish documenting queries; remove a stray [unit] argument
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/basis.urs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index 656c5b91..9681328f 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -232,7 +232,7 @@ val sql_comparison : tables ::: {{Type}} -> agg ::: {{Type}} -> exps ::: {Type} -> 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} |