shithub: mc

Info  •  Files  •  Log  •  Branches

Fix type equality/hashing for unresolved types.

--- a/parse/type.c

+++ b/parse/type.c

@@ -638,6 +638,7 @@

         case Tyvar:     hash = inthash(t->tid);         break;

         case Tyunion:   hash = inthash(t->tid);         break;

         case Tystruct:  hash = inthash(t->tid);         break;

+        case Tyname:    hash = namehash(t->name);       break;

         default:        hash = inthash(t->type);        break;

     }

@@ -691,6 +692,9 @@

             if (a->tid != b->tid)

                 return 0;

             break;

+        case Tyunres:

+            if (!nameeq(a->name, b->name))

+                return 0;

         case Tyunion:

             for (i = 0; i < a->nmemb; i++) {

                 if (!nameeq(a->udecls[i]->name, b->udecls[i]->name))