changeset 1136:32710de7227b

Small tweaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 20:10:32 -0500 (2010-01-29)
parents 0aa2758cca32
children a8921f5ef6bd
files Makefile.in lib/ur/basis.urs src/monoize.sml
diffstat 3 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Thu Jan 28 13:55:01 2010 -0500
+++ b/Makefile.in	Thu Jan 28 20:10:32 2010 -0500
@@ -764,6 +764,7 @@
 	hg archive -t tgz -X tests /tmp/urweb.tgz
 
 reauto:
+	-autoreconf
 	libtoolize -cf
 	automake --add-missing --force-missing --copy
 	autoreconf
--- a/lib/ur/basis.urs	Thu Jan 28 13:55:01 2010 -0500
+++ b/lib/ur/basis.urs	Thu Jan 28 20:10:32 2010 -0500
@@ -273,7 +273,6 @@
             -> sql_constraint fs []
 
 
-
 (*** Queries *)
 
 con sql_query :: {{Type}} -> {Type} -> Type
--- 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)