# HG changeset patch # User Adam Chlipala # Date 1264727432 18000 # Node ID 32710de7227b3b9f7f52d487f2360ad48a6c2241 # Parent 0aa2758cca328787b496b421e456744462a7f970 Small tweaks diff -r 0aa2758cca32 -r 32710de7227b Makefile.in --- 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 diff -r 0aa2758cca32 -r 32710de7227b lib/ur/basis.urs --- 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 diff -r 0aa2758cca32 -r 32710de7227b src/monoize.sml --- 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)