thorin2/demo_2normalizers_8cpp_source.html

#include "thorin/world.h"


#include "thorin/plug/demo/demo.h"


namespace thorin::plug::demo {


Ref normalize_const(Ref type, Ref, Ref arg) {

    auto& world = type->world();

    return world.lit(world.type_idx(arg), 42);

}


THORIN_demo_NORMALIZER_IMPL


} // namespace thorin::plug::demo


thorin::Def::world
World & world() const
Definition def.cpp:421

thorin::Ref
Helper class to retrieve Infer::arg if present.
Definition def.h:87

thorin::World::lit
const Lit * lit(Ref type, u64 val)
Definition world.cpp:435

THORIN_demo_NORMALIZER_IMPL
#define THORIN_demo_NORMALIZER_IMPL
Definition autogen.h:26

demo.h

thorin::plug::demo
The demo Plugin
Definition normalizers.cpp:5

thorin::plug::demo::normalize_const
Ref normalize_const(Ref type, Ref, Ref arg)
Definition normalizers.cpp:7

world.h