shithub: mc

Info  •  Files  •  Log  •  Branches

Don't die if types have no constraints.

    An empty constraint set is equivalent to no constraints implemented,
    not a segfault. Treat it as such.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -298,7 +298,7 @@

         if (!a->cstrs)

             a->cstrs = mkbs();

         setcstr(a, c);

-    } else if (!bshas(a->cstrs, c->cid)) {

+    } else if (!a->cstrs || !bshas(a->cstrs, c->cid)) {

             fatal(ctx->line, "%s needs %s near %s", tystr(a), c->name, ctxstr(st, ctx));

     }

 }

-- 

⑨