diff options
Diffstat (limited to 'src/lift.cpp')
| -rw-r--r-- | src/lift.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index 8cdf654..9341121 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -188,14 +188,14 @@ lift_fn(CEnv& cenv, Code& code, const ATuple* fn) throw() cenv.setType(impl, realImplT); // Create type definition for closure type - List tdef(Cursor(), cenv.penv.sym("def-type"), tsym, 0); + List tdef(Cursor(), cenv.penv.sym("define-type"), tsym, 0); tdef.push_back(closureT); code.push_back(tdef); cenv.tenv.def(tsym, closureT); // Put forward declaration for type at start of code - List tdecl(Cursor(), cenv.penv.sym("def-type"), tsym, 0); + List tdecl(Cursor(), cenv.penv.sym("define-type"), tsym, 0); code.push_front(tdecl); // Set type of closure to type symbol @@ -218,7 +218,7 @@ lift_fn(CEnv& cenv, Code& code, const ATuple* fn) throw() // Replace return type variable with actual return type in code for (auto& i : code) { - if (is_form(i, "def-type")) { + if (is_form(i, "define-type")) { i = cenv.typedReplace(i->as_tuple(), retTVar, implRetT); } } @@ -310,7 +310,7 @@ resp_lift(CEnv& cenv, Code& code, const AST* ast) throw() return lift_dot(cenv, code, call); else if (form == "define") return lift_def(cenv, code, call); - else if (form == "def-type") + else if (form == "define-type") return call; else if (form == "do") return lift_args(cenv, code, call); |