MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
normalizers.cpp
Go to the documentation of this file.
1#include "mim/plug/clos/clos.h"
2
3namespace mim::plug::clos {
4
5template<attr o> Ref normalize_clos(Ref type, Ref callee, Ref arg) {
6 auto& w = type->world();
7 return o == attr::bottom ? arg : w.raw_app(type, callee, arg);
8}
9
10MIM_clos_NORMALIZER_IMPL
11
12} // namespace mim::plug::clos
mim::Def::world
World & world() const
Definition def.cpp:415
mim::Ref
Helper class to retrieve Infer::arg if present.
Definition def.h:86
MIM_clos_NORMALIZER_IMPL
#define MIM_clos_NORMALIZER_IMPL
Definition autogen.h:106
mim::plug::clos
The clos Plugin
Definition clos.h:7
mim::plug::clos::normalize_clos
Ref normalize_clos(Ref type, Ref callee, Ref arg)
Definition normalizers.cpp:5