diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-02-09 19:29:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-02-09 19:29:50 -0500 |
| commit | 9d1eacaab495588439dfc5cb25b6e495bce332c1 (patch) | |
| tree | 6bbd2238f511fbefc531ca0a2e7926425ca9f26d /src | |
| parent | 1723b89b16419822c0b1de17db3d7f7ae96786a9 (diff) | |
| parent | f5efb1ddb1280375335296da63385bf56f6aaeb5 (diff) | |
Merge
Diffstat (limited to 'src')
| -rw-r--r-- | src/c/Makefile.am | 2 | ||||
| -rw-r--r-- | src/elaborate.sml | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/c/Makefile.am b/src/c/Makefile.am index 8ed374f6..d117d018 100644 --- a/src/c/Makefile.am +++ b/src/c/Makefile.am @@ -7,7 +7,7 @@ liburweb_fastcgi_la_SOURCES = fastcgi.c fastcgi.h liburweb_static_la_SOURCES = static.c AM_CPPFLAGS = -I$(srcdir)/../../include/urweb $(OPENSSL_INCLUDES) -AM_CFLAGS = -Wimplicit -Wall -Werror -Wno-format-security -Wno-deprecated-declarations $(PTHREAD_CFLAGS) +AM_CFLAGS = -Wimplicit -Wall -Werror -Wno-format-security -Wno-deprecated-declarations -U_FORTIFY_SOURCE $(PTHREAD_CFLAGS) liburweb_la_LDFLAGS = $(AM_LDFLAGS) $(OPENSSL_LDFLAGS) liburweb_la_LIBADD = $(PTHREAD_LIBS) -lm $(OPENSSL_LIBS) liburweb_http_la_LIBADD = liburweb.la diff --git a/src/elaborate.sml b/src/elaborate.sml index dfa8d0e2..0c8db756 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -873,8 +873,9 @@ | _ => false} val (others1, others2) = eatMatching (fn (c1, c2) => - not (hasUnifs c1 andalso hasUnifs c2) - andalso consEq env loc (c1, c2)) (#others s1, #others s2) + c1 = c2 + orelse (not (hasUnifs c1 andalso hasUnifs c2) + andalso consEq env loc (c1, c2))) (#others s1, #others s2) (*val () = eprefaces "Summaries3" [("#1", p_summary env {fields = fs1, unifs = unifs1, others = others1}), ("#2", p_summary env {fields = fs2, unifs = unifs2, others = others2})]*) |