Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
eta_exp.h File Reference
#include "thorin/pass/pass.h"
Include dependency graph for eta_exp.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  thorin::EtaExp
 Performs η-expansion: f -> λx.f x, if f is a Lam with more than one user and does not appear in callee position. More...
 

Namespaces

namespace  thorin