Mercurial > urweb

diff src/monoize.sml @ 1136:32710de7227b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small tweaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 20:10:32 -0500
parents 4f3a1aa3b66d
children 69f1d39d3f2d
line wrap: on
line diff
--- a/src/monoize.sml	Thu Jan 28 13:55:01 2010 -0500
+++ b/src/monoize.sml	Thu Jan 28 20:10:32 2010 -0500
@@ -230,7 +230,7 @@
                     (L'.TFfi ("Basis", "string"), loc)
                   | L.CApp ((L.CApp ((L.CApp ((L.CFfi ("Basis", "sql_binary"), _), _), _), _), _), _) =>
                     (L'.TFfi ("Basis", "string"), loc)
-                  | L.CApp ((L.CFfi ("Basis", "sql_aggregate"), _), t) =>
+                  | L.CApp ((L.CFfi ("Basis", "sql_aggregate"), _), _) =>
                     (L'.TFfi ("Basis", "string"), loc)
                   | L.CApp ((L.CFfi ("Basis", "sql_summable"), _), _) =>
                     (L'.TRecord [], loc)