diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-06-01 10:44:57 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-06-01 10:44:57 -0400 |
| commit | 8218cfa3f12063eec2d422a0a4662a9ddf8322e7 (patch) | |
| tree | 87387c268342bec1241299f2f1bc3288275bb528 | |
| parent | 66d405792eefeba27173177bbab44a8378b85b21 (diff) | |
Improve consNeq to detect unequal projected cons
| -rw-r--r-- | src/elaborate.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index cda8e8d8..67ed3383 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -700,6 +700,7 @@ | (L'.CNamed _, L'.CRel _) => true | (L'.CRel _, L'.CModProj _) => true | (L'.CModProj _, L'.CRel _) => true + | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2 | _ => false and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) = |