diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 3655396..66b4505 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -359,6 +359,8 @@ constrain_call(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) argsT.push_back(tenv.var(*i)); if (argsT.head) argsT.head->loc = call->loc; + else + argsT.head = new ATuple(NULL, NULL, Cursor()); c.constrain(tenv, head, tup(head->loc, tenv.Fn, argsT.head, retT, 0)); c.constrain(tenv, call, retT); } |