shithub: mc

Info  •  Files  •  Log  •  Branches

We should never have types to bind in ->sub.

    Delete the code that tries to bind subtypes.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -398,8 +398,6 @@

     htput(bt, t->pname, t);

     for (i = 0; i < t->nparam; i++)

         putbindings(st, bt, t->param[i]);

-    for (i = 0; i < t->nsub; i++)

-        putbindings(st, bt, t->sub[i]);

 }

 static void tybind(Inferstate *st, Type *t)