diff options
author | David Robillard <d@drobilla.net> | 2010-09-30 12:45:47 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2010-09-30 12:45:47 +0000 |
commit | 0faa00e9dfd221016ad26b5629617949fcce4676 (patch) | |
tree | 91ae7796712c83f8a3d9889b97b97ed8c630cfe7 /src/unify.cpp | |
parent | c5e2f5dbb8922ba9bc5baa8e3194be89cb64f367 (diff) | |
download | resp-0faa00e9dfd221016ad26b5629617949fcce4676.tar.gz resp-0faa00e9dfd221016ad26b5629617949fcce4676.tar.bz2 resp-0faa00e9dfd221016ad26b5629617949fcce4676.zip |
Preliminary work on algebraic data types and run-time typing.
git-svn-id: http://svn.drobilla.net/resp/resp@270 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 1d3af81..a4ea035 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -147,8 +147,8 @@ unify(const Constraints& constraints) } else if (t->kind == AType::VAR && !s->contains(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() + 1; - AType::const_iterator ti = t->begin() + 1; + AType::const_iterator si = s->begin(); + AType::const_iterator ti = t->begin(); for (; si != s->end() && ti != t->end(); ++si, ++ti) { AType* st = (*si)->as<AType*>(); AType* tt = (*ti)->as<AType*>(); |