Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
dump.cpp File Reference
#include <fstream>
#include <fe/assert.h>
#include "thorin/driver.h"
#include "thorin/analyses/deptree.h"
#include "thorin/ast/tok.h"
#include "thorin/util/util.h"
Include dependency graph for dump.cpp:

Go to the source code of this file.

Namespaces

namespace  thorin
 

Macros

#define MY_PREC(m)
 
#define CODE(l, p, r)   p,
 
#define CODE(l, p, r)    case MyPrec::p: return {MyPrec::l, MyPrec::r};
 

Functions

std::ostream operator
std::ostream & thorin::operator<< (std::ostream &, Ref)
 
std::ostream & thorin::operator<< (std::ostream &os, const Def *def)
 This will stream def as an operand.
 

Macro Definition Documentation

◆ CODE [1/2]

#define CODE (   l,
  p,
 
)    p,

Definition at line 87 of file dump.cpp.

◆ CODE [2/2]

#define CODE (   l,
  p,
 
)     case MyPrec::p: return {MyPrec::l, MyPrec::r};

Definition at line 87 of file dump.cpp.

◆ MY_PREC

#define MY_PREC (   m)
Value:
/* left prec, right */ \
m(Nil, Bot, Nil) m(Nil, Nil, Nil) m(Lam, Arrow, Arrow) m(Nil, Lam, Pi) m(Nil, Pi, App) m(App, App, Extract) \
m(Extract, Extract, Lit) m(Nil, Lit, Lit)

Definition at line 81 of file dump.cpp.