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 /src | |
| parent | e41ef25044804ff53d494ade7cf7d1bfe0f280c7 (diff) | |
Finish documenting queries; remove a stray [unit] argument
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 3 | ||||
| -rw-r--r-- | src/urweb.grm | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 28ea5946..cd20e366 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1530,8 +1530,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L.EFfi ("Basis", "sql_count"), _), _), _), _), _), - _) => ((L'.EAbs ("_", (L'.TRecord [], loc), (L'.TFfi ("Basis", "string"), loc), - (L'.EPrim (Prim.String "COUNT(*)"), loc)), loc), + _) => ((L'.EPrim (Prim.String "COUNT(*)"), loc), fm) | L.ECApp ( 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) |