diff options
Diffstat (limited to 'src/lift.cpp')
| -rw-r--r-- | src/lift.cpp | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index 2d26ace..518fc4f 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -99,17 +99,6 @@ lift_def(CEnv& cenv, Code& code, const ATuple* def) throw() } static const AST* -lift_def_type(CEnv& cenv, Code& code, const ATuple* def) throw() -{ - const ASymbol* sym = def->frst()->to_symbol(); - if (!sym) - return def; - - const AST* type = def->frrst()->as_tuple()->replace(sym, cenv.penv.sym("__REC")); - return tup(def->loc, def->fst(), sym, type, 0); -} - -static const AST* lift_fn(CEnv& cenv, Code& code, const ATuple* fn) throw() { List impl; @@ -289,7 +278,7 @@ resp_lift(CEnv& cenv, Code& code, const AST* ast) throw() else if (form == "def") return lift_def(cenv, code, call); else if (form == "def-type") - return lift_def_type(cenv, code, call); + return call; else if (form == "do") return lift_args(cenv, code, call); else if (form == "fn") |