diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-01-29 18:19:25 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-01-29 18:19:25 -0500 |
commit | eb48e8bc513c470f5282a8bef3f4616665caef06 (patch) | |
tree | ef87ccb685fbe75fd9dfc786039b2ef3fec1fecc /src/elaborate.sml | |
parent | e7e23eeb286ffac62b2b0a180c9ecc8510aaf33d (diff) |
Add another simple case for record unification between alpha-equivalent constructors
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r-- | src/elaborate.sml | 5 |
1 files changed, 3 insertions, 2 deletions
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})]*) |