ref: f0f1654937b0bd8944189c15c76169ca02ff88e9
parent: a73b2d8351853bdfde84b2792b8b231472271284
author: Ori Bernstein <ori@eigenstate.org>
date: Sat Feb 6 10:22:33 EST 2016
Type matches for named types are on the args.
--- a/parse/specialize.c
+++ b/parse/specialize.c
@@ -499,7 +499,7 @@
if (pat->narg != to->narg)
return -1;
for (i = 0; i < pat->narg; i++) {
- q = matchquality(pat->sub[i], to->sub[i]);
+ q = matchquality(pat->arg[i], to->arg[i]);
if (q < 0)
return -1;
match += q;