From 16901075111d5bb14fa583b50dc64579008962aa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 Nov 2011 11:33:59 -0400
Subject: Strengthen consNeq, to avoid unwise unifications

---
 src/elaborate.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index a80f11d0..5ba4df42 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -773,6 +773,10 @@
        | (L'.CRel _, L'.CModProj _) => true
        | (L'.CModProj _, L'.CRel _) => true
        | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2
+       | (L'.CModProj _, L'.CName _) => true
+       | (L'.CName _, L'.CModProj _) => true
+       | (L'.CNamed _, L'.CName _) => true
+       | (L'.CName _, L'.CNamed _) => true
        | _ => false
 
  and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) =
-- 
cgit v1.2.3