diff src/urweb.grm @ 544:4154b4dc62c6

Finish documenting queries; remove a stray [unit] argument
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Dec 2008 10:02:04 -0500
parents ae03d09043c1
children 5d494183ca89
line wrap: on
line diff
--- a/src/urweb.grm	Sun Dec 07 09:19:53 2008 -0500
+++ b/src/urweb.grm	Sun Dec 07 10:02:04 2008 -0500
@@ -1267,8 +1267,7 @@
        | 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)