diff options
author | David Robillard <d@drobilla.net> | 2010-12-02 08:03:47 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2010-12-02 08:03:47 +0000 |
commit | cf6c924f9cb10a583edbab2560773f2500a86323 (patch) | |
tree | 9073dbe14d904764d4af59141a03228f2e0fbf8e /src/unify.cpp | |
parent | 563a807be78bfe12e5bfbb9ff0d6da44242696c4 (diff) | |
download | resp-cf6c924f9cb10a583edbab2560773f2500a86323.tar.gz resp-cf6c924f9cb10a583edbab2560773f2500a86323.tar.bz2 resp-cf6c924f9cb10a583edbab2560773f2500a86323.zip |
Work towards removing different classes for each type of expression.
git-svn-id: http://svn.drobilla.net/resp/resp@278 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'src/unify.cpp')
-rw-r--r-- | src/unify.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 9165d49..ec5aa9a 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -140,9 +140,9 @@ unify(const Constraints& constraints) if (*s == *t) { return unify(cp); - } else if (s->kind == AType::VAR && !t->contains(s)) { + } else if (s->kind == AType::VAR && !list_contains(t, s)) { return Subst::compose(unify(cp.replace(s, t)), Subst(s, t)); - } else if (t->kind == AType::VAR && !s->contains(t)) { + } else if (t->kind == AType::VAR && !list_contains(s, t)) { return Subst::compose(unify(cp.replace(t, s)), Subst(t, s)); } else if (s->kind == AType::EXPR && t->kind == AType::EXPR) { AType::const_iterator si = s->begin(); |