diff options
Diffstat (limited to 'src/simplify.cpp')
| -rw-r--r-- | src/simplify.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/simplify.cpp b/src/simplify.cpp index 34c1ef0..4ad1865 100644 --- a/src/simplify.cpp +++ b/src/simplify.cpp @@ -31,7 +31,7 @@ simplify_if(CEnv& cenv, Code& code, const ATuple* aif) throw() List copy(aif->loc, cenv.penv.sym("if"), NULL); copy.push_back(aif->list_ref(1)); copy.push_back(aif->list_ref(2)); - + ATuple* tail = copy.tail; ATuple::const_iterator i = aif->iter_at(3); for (; ; ++i) { @@ -67,7 +67,7 @@ simplify_match(CEnv& cenv, Code& code, const ATuple* match) throw() List def(match->loc, cenv.penv.sym("define"), tsym, tval.head, NULL); cenv.setType(tval.head, cenv.tenv.named("Symbol")); - + List copyIf; copyIf.push_back(cenv.penv.sym("if")); for (ATuple::const_iterator i = match->iter_at(2); i != match->end();) { @@ -120,7 +120,7 @@ simplify_match(CEnv& cenv, Code& code, const ATuple* match) throw() } copyIf.push_back(cenv.penv.sym("__unreachable")); cenv.setTypeSameAs(copyIf, match); - + List copy(match->loc, cenv.penv.sym("do"), def.head, simplify_if(cenv, code, copyIf), 0); cenv.setTypeSameAs(copy, match); @@ -152,7 +152,7 @@ simplify_list_elem(CEnv& cenv, const ATuple* node, const AST* type) } assert(cenv.type(node->fst())); - + const AST* const fst = tup(Cursor(), cenv.type(node->fst()), node->fst(), 0); const AST* const rst = simplify_list_elem(cenv, node->rst(), type); assert(node->fst()); @@ -175,7 +175,7 @@ quote(CEnv& cenv, const AST* ast) return cons; } } - + static const AST* simplify_quote(CEnv& cenv, Code& code, const ATuple* call) throw() { @@ -188,7 +188,7 @@ resp_simplify(CEnv& cenv, Code& code, const AST* ast) throw() const ATuple* const list = ast->to_tuple(); if (!list || !list->fst()) return ast; - + const ASymbol* const sym = list->fst() ? list->fst()->to_symbol() : 0; const std::string form = sym ? sym->sym() : ""; |