parser.cpp File Reference

#include "mim/ast/parser.h"
#include <filesystem>
#include <fstream>
#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_PTRN

Macro Definition Documentation

C_DECL

#define C_DECL

Value:

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

Definition at line 48 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_ins:     /*InsertExpr*/ \
    case Tag::K_ret:     /*RetExpr*/    \
    case Tag::D_angle_l: /*PackExpr*/   \
    case Tag::D_brckt_l: /*SigmaExpr*/  \
    case Tag::D_paren_l: /*TupleExpr*/  \
    case Tag::D_quote_l  /*ArrExpr*/

Definition at line 66 of file parser.cpp.

C_ID

#define C_ID

Value:

              M_anx: \
    case Tag::M_id

Definition at line 29 of file parser.cpp.

C_LAM

#define C_LAM

Value:

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

Definition at line 43 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 33 of file parser.cpp.

C_LM

#define C_LM

Value:

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

Definition at line 61 of file parser.cpp.

C_PI

#define C_PI

Value:

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

Definition at line 56 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 9 of file parser.cpp.

C_PTRN

#define C_PTRN

Value:

              M_id:       \
    case Tag::T_backtick: \
    case Tag::D_brace_l:  \
    case Tag::D_brckt_l:  \
    case Tag::D_paren_l

Definition at line 81 of file parser.cpp.