parser.cpp File Reference

#include "mim/ast/parser.h"
#include <filesystem>
#include <fstream>
#include <ranges>
#include "mim/driver.h"

Include dependency graph for parser.cpp:

Go to the source code of this file.

Namespaces
namespace	mim
namespace	mim::ast

Macros
#define	C_PRIMARY
#define	C_ID
#define	C_LIT
#define	C_LAM
#define	C_DECL
#define	C_PI
#define	C_LM
#define	C_EXPR
#define	C_CURRIED_B
#define	C_CURRIED_P

Macro Definition Documentation

C_CURRIED_B

#define C_CURRIED_B

Value:

          D_brace_l:  \
case Tag::D_brckt_l:  \
case Tag::D_quote_l

Definition at line 84 of file parser.cpp.

C_CURRIED_P

#define C_CURRIED_P

Value:

          D_brace_l:  \
case Tag::D_brckt_l:  \
case Tag::D_paren_l

Definition at line 89 of file parser.cpp.

C_DECL

#define C_DECL

Value:

          K_axm:  \
case Tag::K_let:  \
case Tag::K_rec:  \
case Tag::K_ccon: \
case Tag::K_cfun: \
case Tag::C_LAM

Definition at line 49 of file parser.cpp.

C_EXPR

#define C_EXPR

Value:

          C_PRIMARY:                \
case Tag::C_ID:                     \
case Tag::C_LIT:                    \
case Tag::C_DECL:                   \
case Tag::C_PI:                     \
case Tag::C_LM:                     \
case Tag::K_Type:    /*TypeExpr*/   \
case Tag::K_Rule:    /*RuleExpr*/   \
case Tag::K_ins:     /*InsertExpr*/ \
case Tag::K_ret:     /*RetExpr*/    \
case Tag::D_angle_l: /*PackExpr*/   \
case Tag::D_brckt_l: /*SigmaExpr*/  \
case Tag::D_curly_l: /*UniqExpr*/   \
case Tag::D_paren_l: /*TupleExpr*/  \
case Tag::D_quote_l  /*ArrExpr*/

Definition at line 67 of file parser.cpp.

C_ID

#define C_ID

Value:

          M_anx: \
case Tag::M_id

Definition at line 30 of file parser.cpp.

C_LAM

#define C_LAM

Value:

          K_lam: \
case Tag::K_con: \
case Tag::K_fun

Definition at line 44 of file parser.cpp.

C_LIT

#define C_LIT

Value:

          T_bot: \
case Tag::T_top: \
case Tag::L_str: \
case Tag::L_c:   \
case Tag::L_s:   \
case Tag::L_u:   \
case Tag::L_f:   \
case Tag::L_i

Definition at line 34 of file parser.cpp.

C_LM

#define C_LM

Value:

          T_lm: \
case Tag::K_cn: \
case Tag::K_fn

Definition at line 62 of file parser.cpp.

C_PI

#define C_PI

Value:

          D_brace_l: \
case Tag::K_Cn:      \
case Tag::K_Fn

Definition at line 57 of file parser.cpp.

C_PRIMARY

#define C_PRIMARY

Value:

          K_Univ: \
case Tag::K_Nat:  \
case Tag::K_Idx:  \
case Tag::K_Bool: \
case Tag::K_ff:   \
case Tag::K_tt:   \
case Tag::K_i1:   \
case Tag::K_i8:   \
case Tag::K_i16:  \
case Tag::K_i32:  \
case Tag::K_i64:  \
case Tag::K_I1:   \
case Tag::K_I8:   \
case Tag::K_I16:  \
case Tag::K_I32:  \
case Tag::K_I64:  \
case Tag::T_star: \
case Tag::T_box

Definition at line 10 of file parser.cpp.