diff src/monoize.sml @ 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/monoize.sml	Sun Dec 07 09:19:53 2008 -0500
+++ b/src/monoize.sml	Sun Dec 07 10:02:04 2008 -0500
@@ -1530,8 +1530,7 @@
               (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 (