changeset 1589:fb0388f1180e

Strengthen consNeq, to avoid unwise unifications
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 11:33:59 -0400
parents 65d6488c82d5
children 60d438cdb3a5
files src/elaborate.sml
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/elaborate.sml	Sat Nov 05 09:56:52 2011 -0400
+++ b/src/elaborate.sml	Sat Nov 05 11:33:59 2011 -0400
@@ -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) =