summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-01-03 10:21:26 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-01-03 10:21:26 -0500
commitf854f4a369ffd8bb5ce7fdc986029afb61ac37ec (patch)
tree1d101f8912c0e668c6de02c21041c342964b63ad
parentb832399cc878bd0ca0eefc61e0eb19d582eb1832 (diff)
Fixing one small issue with changes to signature matching (grandfathered into release)
-rw-r--r--src/elaborate.sml4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index ca3bac24..f6819830 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -2043,6 +2043,10 @@ val consEqSimple =
| (L'.CTuple cs1, L'.CTuple cs2) => ListPair.all (ces env) (cs1, cs2)
| (L'.CProj (c1, n1), L'.CProj (c2, n2)) => ces env (c1, c2) andalso n1 = n2
| (L'.CUnif (_, _, _, _, r1), L'.CUnif (_, _, _, _, r2)) => r1 = r2
+
+ | (L'.TFun (d1, r1), L'.TFun (d2, r2)) => ces env (d1, d2) andalso ces env (r1, r2)
+ | (L'.TRecord c1, L'.TRecord c2) => ces env (c1, c2)
+
| _ => false
end
in