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 /src/urweb.grm | |
parent | 80bbc587e8c3e897cb30f0723187950254c6632b (diff) |
Finish documenting queries; remove a stray [unit] argument
Diffstat (limited to 'src/urweb.grm')
-rw-r--r-- | src/urweb.grm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 8a3bee7f..3d77905e 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -1267,8 +1267,7 @@ sqlexp : TRUE (sql_inject (EVar (["Basis"], "True", In | COUNT LPAREN STAR RPAREN (let val loc = s (COUNTleft, RPARENright) in - (EApp ((EVar (["Basis"], "sql_count", Infer), loc), - (ERecord [], loc)), loc) + (EVar (["Basis"], "sql_count", Infer), loc) end) | sqlagg LPAREN sqlexp RPAREN (let val loc = s (sqlaggleft, RPARENright) |