diff options
| author | David Robillard <d@drobilla.net> | 2009-07-04 05:48:25 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2009-07-04 05:48:25 +0000 |
| commit | 24bacd4211b8c53e3eeee97fbc929a2f6c4a19e8 (patch) | |
| tree | 50e99eb05d81af9155a192b5fb8bf634bc2434a1 /src/unify.cpp | |
| parent | 815e5dc20339e19c5bd299c3dcd69b6f88bf5317 (diff) | |
| download | resp-24bacd4211b8c53e3eeee97fbc929a2f6c4a19e8.tar.gz resp-24bacd4211b8c53e3eeee97fbc929a2f6c4a19e8.tar.bz2 resp-24bacd4211b8c53e3eeee97fbc929a2f6c4a19e8.zip | |
Eliminate AType::var().
git-svn-id: http://svn.drobilla.net/resp/tuplr@185 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 864ea81..b013e0c 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -82,10 +82,10 @@ unify(const Constraints& constraints) if (*s == *t) { return unify(cp); - } else if (s->var() && !t->contains(s)) { + } else if (s->kind == AType::VAR && !t->contains(s)) { cp.replace(s, t); return Subst::compose(unify(cp), Subst(s, t)); - } else if (t->var() && !s->contains(t)) { + } else if (t->kind == AType::VAR && !s->contains(t)) { cp.replace(t, s); return Subst::compose(unify(cp), Subst(t, s)); } else if (s->kind == AType::EXPR && s->kind == t->kind && s->size() == t->size()) { |