lam__spec_8h_source.html

#pragma once


#include "mim/phase.h"


namespace mim {


/// Specializes a Lam at its call site by inlining all Pi-typed (i.e. higher-order) arguments.


class LamSpec : public RWPhase {

public:

    using RWPhase::RWPhase;


private:

    const Def* rewrite_imm_App(const App*) final;

};


} // namespace mim

mim::App
Definition lam.h:215

mim::Def
Base class for all Defs.
Definition def.h:289

mim::LamSpec
Specializes a Lam at its call site by inlining all Pi-typed (i.e. higher-order) arguments.
Definition lam_spec.h:8

mim::LamSpec::RWPhase
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
Definition phase.h:334

mim::LamSpec::rewrite_imm_App
const Def * rewrite_imm_App(const App *) final
Definition lam_spec.cpp:9

mim::RWPhase::RWPhase
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
Definition phase.h:334

mim
Definition ast.h:16

phase.h