Mercurial > urweb
changeset 1136:32710de7227b
Small tweaks
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 28 Jan 2010 20:10:32 -0500 |
| 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)