diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 9674a97..8b0558f 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -66,7 +66,7 @@ constrain_cons(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) } } - // Substitute tvar symbols with the tvar for the corresponding argument + // Substitute tvar symbols with the tvar for the corresponding argument const AST* pattern = subst.apply(tag->second.type); // Replace remaining tvar symbols with a free tvar @@ -170,7 +170,7 @@ constrain_fn(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) } else { protT.head->loc = call->loc; } - + ATuple::const_iterator i = call->iter_at(1); c.constrain(tenv, *i, protT); @@ -266,7 +266,7 @@ constrain_match(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) t != constructor.type->as_tuple()->end(); ++t) { type.push_back(tenv.var()); } - + c.constrain(tenv, matchee, type); tenv.pop(); } @@ -308,7 +308,7 @@ static void constrain_call(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) { const AST* const head = call->fst(); - + for (auto i : *call) resp_constrain(tenv, c, i); |