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 | df9e9c28d419323976875d76b982838dd984eda2 (patch) | |
| tree | 4ff84680b2fec4fa671754ce8c5d082269968da4 /lib/basis.urs | |
| parent | e41ef25044804ff53d494ade7cf7d1bfe0f280c7 (diff) | |
Finish documenting queries; remove a stray [unit] argument
Diffstat (limited to 'lib/basis.urs')
| -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} |