diff options
Diffstat (limited to 'src/lift.cpp')
| -rw-r--r-- | src/lift.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index c24832f..739d176 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -68,7 +68,7 @@ lift_fn(CEnv& cenv, Code& code, AFn* fn) throw() const AType* paramType = (*tp++)->as<const AType*>(); if (paramType->kind == AType::EXPR && *paramType->head() == *cenv.tenv.Fn) { AType* fnType = new AType(*paramType); - fnType->prot(new AType(const_cast<AType*>(cenv.tenv.var()), fnType->prot()->as<AType*>(), Cursor())); + fnType->set_prot(new AType(const_cast<AType*>(cenv.tenv.var()), fnType->prot()->as<AType*>(), Cursor())); paramType = tup<const AType>((*p)->loc, cenv.tenv.Tup, fnType, NULL); } cenv.def((*p)->as<const ASymbol*>(), *p, paramType, NULL); @@ -80,7 +80,7 @@ lift_fn(CEnv& cenv, Code& code, AFn* fn) throw() * function after lifting the body (so recursive references correctly * refer to this function by the closure parameter). */ - impl->prot(new ATuple(cenv.penv.sym("_"), impl->prot())); + impl->set_prot(new ATuple(cenv.penv.sym("_"), impl->prot())); // Lift body const AType* implRetT = NULL; @@ -115,7 +115,7 @@ lift_fn(CEnv& cenv, Code& code, AFn* fn) throw() } cenv.liftStack.pop(); - implT->prot(new AType(tupT, implT->prot(), Cursor())); + implT->set_prot(new AType(tupT, implT->prot(), Cursor())); implT->list_ref(2) = const_cast<AType*>(implRetT); cenv.setType(impl, implT); |