From 5ca01630edc38087b722e1c22b20edc82d871dd7 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sat, 4 Dec 2010 23:48:39 +0000 Subject: Tidy up unify.cpp git-svn-id: http://svn.drobilla.net/resp/resp@298 ad02d1e2-f140-0410-9f75-f8b11f17cedd --- src/unify.cpp | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) (limited to 'src/unify.cpp') diff --git a/src/unify.cpp b/src/unify.cpp index 0c9dea2..9f3a521 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -33,7 +33,7 @@ TEnv::buildSubst(const AType* genericT, const AType& argsT) // Build substitution to apply to generic type const ATuple* genericProtT = genericT->list_ref(1)->as_tuple(); ATuple::const_iterator g = genericProtT->begin(); - AType::const_iterator a = argsT.begin(); + ATuple::const_iterator a = argsT.begin(); for (; a != argsT.end(); ++a, ++g) { const AType* genericArgT = (*g)->to_type(); const AType* callArgT = (*a)->to_type(); @@ -60,7 +60,6 @@ Constraints::constrain(TEnv& tenv, const AST* o, const AType* t) { assert(o); assert(t); - assert(!o->to_type()); push_back(Constraint(tenv.var(o), t)); } @@ -109,16 +108,12 @@ Constraints::replace(const AType* s, const AType* t) { for (Constraints::iterator c = begin(); c != end(); ++c) { if (*c->first == *s) { - AType* type = new AType(*t); - type->loc = c->first->loc; - c->first = type; + c->first = new AType(*t, c->first->loc); } else if (c->first->kind == AType::EXPR) { c->first = substitute(c->first, s, t); } if (*c->second == *s) { - AType* type = new AType(*t); - type->loc = c->second->loc; - c->second = type; + c->second = new AType(*t, c->second->loc); } else if (c->second->kind == AType::EXPR) { c->second = substitute(c->second, s, t); } -- cgit v1.2.1