13 , callee_only_(callee_only) {}
25 const bool callee_only_;
EtaRed(PassMan &man, bool callee_only=false)
@ Irreducible
η-reduction not possible as we stumbled upon a Var.
@ Reduce
η-reduction performed.
void mark_irreducible(Lam *lam)
const Def * rewrite(const Def *) override
undo_t analyze(const Var *) override
FPPass(PassMan &man, std::string_view name)
An optimizer that combines several optimizations in an optimal way.
GIDMap< Lam *, To > LamMap