dump.cpp File Reference

#include <fstream>
#include <fe/assert.h>
#include "mim/driver.h"
#include "mim/nest.h"
#include "mim/ast/tok.h"
#include "mim/util/util.h"

Include dependency graph for dump.cpp:

Go to the source code of this file.

Namespaces
namespace	mim

Macros
#define	MY_PREC(m)
#define	CODE(l, p, r)
#define	CODE(l, p, r)

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

Macro Definition Documentation

CODE [1/2]

#define CODE	(		l,
			p,
			r )

Value:

p,

Definition at line 87 of file dump.cpp.

CODE [2/2]

#define CODE	(		l,
			p,
			r )

Value:

    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.