%{ #include #include #include "ast.hpp" #include "parser.hpp" std::vector program; extern yy::parser::symbol_type yylex(); %} %token PLUS %token TIMES %token MINUS %token DIVIDE %token INT %token DEFN %token DATA %token CASE %token OF %token OCURLY %token CCURLY %token OPAREN %token CPAREN %token COMMA %token ARROW %token EQUAL %token LID %token UID %language "c++" %define api.value.type variant %define api.token.constructor %type > lowercaseParams %type > program definitions %type > branches %type aAdd aMul case app appBase %type definition %type branch %type pattern %start program %% program : definitions { program = std::move($1); } ; definitions : definitions definition { $$ = std::move($1); $$.push_back(std::move($2)); } | definition { $$ = std::vector(); $$.push_back(std::move($1)); } ; definition : DEFN LID lowercaseParams EQUAL OCURLY aAdd CCURLY { $$ = definition_ptr( new definition_defn(std::move($2), std::move($3), std::move($6))); } ; lowercaseParams : %empty { $$ = std::vector(); } | lowercaseParams LID { $$ = std::move($1); $$.push_back(std::move($2)); } ; aAdd : aAdd PLUS aMul { $$ = ast_ptr(new ast_binop(PLUS, std::move($1), std::move($3))); } | aAdd MINUS aMul { $$ = ast_ptr(new ast_binop(MINUS, std::move($1), std::move($3))); } | aMul { $$ = std::move($1); } ; aMul : aMul TIMES app { $$ = ast_ptr(new ast_binop(TIMES, std::move($1), std::move($3))); } | aMul DIVIDE app { $$ = ast_ptr(new ast_binop(DIVIDE, std::move($1), std::move($3))); } | app { $$ = std::move($1); } ; app : app appBase { $$ = ast_ptr(new ast_app(std::move($1), std::move($2))); } | appBase { $$ = std::move($1); } ; appBase : INT { $$ = ast_ptr(new ast_int($1)); } | LID { $$ = ast_ptr(new ast_lid(std::move($1))); } | UID { $$ = ast_ptr(new ast_uid(std::move($1))); } | OPAREN aAdd CPAREN { $$ = std::move($2); } | case { $$ = std::move($1); } ; case : CASE aAdd OF OCURLY branches CCURLY { $$ = ast_ptr(new ast_case(std::move($2), std::move($5))); } ; branches : branches COMMA branch { $$ = std::move($1); $1.push_back(std::move($3)); } | branch { $$ = std::vector(); $$.push_back(std::move($1));} ; branch : pattern ARROW OCURLY aAdd CCURLY { $$ = branch_ptr(new branch(std::move($1), std::move($4))); } ; pattern : LID { $$ = pattern_ptr(new pattern_var(std::move($1))); } | UID lowercaseParams { $$ = pattern_ptr(new pattern_constr(std::move($1), std::move($2))); } ;