shithub: mc

Info  •  Files  •  Log  •  Branches

Try to unify pattern types.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -687,8 +687,10 @@

             break;

         case Nmatchstmt:

             infernode(n->matchstmt.val, NULL, sawret);

-            for (i = 0; i < n->matchstmt.nmatches; i++)

+            for (i = 0; i < n->matchstmt.nmatches; i++) {

                 infernode(n->matchstmt.matches[i], ret, sawret);

+                unify(n, type(n->matchstmt.val), type(n->matchstmt.matches[i]->match.pat));

+            }

             break;

         case Nmatch:

             infernode(n->match.pat, NULL, sawret);