diff options
| -rw-r--r-- | src/unify.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 5255f54..1cecfb5 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -136,7 +136,8 @@ unify(const Constraints& constraints) assert(st && tt); cp.push_back(Constraint(st, tt, st->loc)); } - if (si == s->end() && ti == t->end()) + if (si == s->end() && ti == t->end() + || (*ti)->str() == "..." || (*si)->str() == "...") return unify(cp); } throw Error(s->loc ? s->loc : t->loc, |