shithub: mc

Info  •  Files  •  Log  •  Branches

Give correct error when unifying mismatched aliases

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -292,7 +292,7 @@

         tytab[a->tid] = b;

         r = b;

     }

-    if (b->type != Tyvar) 

+    if (a->type == Tyvar && b->type != Tyvar) 

         if (occurs(a, b))

             fatal(ctx->line, "Infinite type %s in %s near %s", tystr(a), tystr(b), ctxstr(ctx));