diff options
Diffstat (limited to 'src/lift.cpp')
| -rw-r--r-- | src/lift.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index 48fcf4e..8cdf654 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -188,8 +188,9 @@ lift_fn(CEnv& cenv, Code& code, const ATuple* fn) throw() cenv.setType(impl, realImplT); // Create type definition for closure type - const AST* tdef = resp_lift( - cenv, code, tup(Cursor(), cenv.penv.sym("def-type"), tsym, closureT, 0)); + List tdef(Cursor(), cenv.penv.sym("def-type"), tsym, 0); + tdef.push_back(closureT); + code.push_back(tdef); cenv.tenv.def(tsym, closureT); |