Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
normalizers.cpp
Go to the documentation of this file.
1#include "thorin/plug/clos/clos.h"
2
3namespace thorin::plug::clos {
4
5template<attr o> Ref normalize_clos(Ref type, Ref callee, Ref arg) {
6 auto& w = type->world();
7 return o == attr::bot ? arg : w.raw_app(type, callee, arg);
8}
9
10THORIN_clos_NORMALIZER_IMPL
11
12} // namespace thorin::plug::clos
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_clos_NORMALIZER_IMPL
#define THORIN_clos_NORMALIZER_IMPL
Definition autogen.h:155
thorin::plug::clos
The clos Plugin
Definition clos.h:7
thorin::plug::clos::normalize_clos
Ref normalize_clos(Ref type, Ref callee, Ref arg)
Definition normalizers.cpp:5