diff options
| author | David Robillard <d@drobilla.net> | 2010-04-13 23:26:56 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2010-04-13 23:26:56 +0000 |
| commit | 7bec36818542d53a52fb285757b1c5947b77b443 (patch) | |
| tree | a494f1e2bdadab6d8f60c82f80b2d9d95193dae9 /src/unify.cpp | |
| parent | d868d225ea641d81b43e7c574343cd45a1e13700 (diff) | |
| download | resp-7bec36818542d53a52fb285757b1c5947b77b443.tar.gz resp-7bec36818542d53a52fb285757b1c5947b77b443.tar.bz2 resp-7bec36818542d53a52fb285757b1c5947b77b443.zip | |
Better (but still not correct...) computation of lifted function implementation type.
git-svn-id: http://svn.drobilla.net/resp/resp@258 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 aadc032..1d3af81 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -157,8 +157,8 @@ unify(const Constraints& constraints) else cp.push_back(Constraint(st, tt)); } - if (si == s->end() && (ti == t->end() || (*ti)->as<AType*>()->kind == AType::DOTS) - || ti == t->end() && (*si)->as<AType*>()->kind == AType::DOTS) + if ( (si == s->end() && (ti == t->end() || (*ti)->as<AType*>()->kind == AType::DOTS)) + || (ti == t->end() && (*si)->as<AType*>()->kind == AType::DOTS)) return unify(cp); } throw Error(s->loc, |