Untitled

Hinski2

Jun 2nd, 2024

Never

Add comment

Not a member of Pastebin yet? Sign Up, it unlocks many cool features!

text 2.70 KB | None | 0 0

raw download clone embed print report

%{
open Ast
let rec make_funs ps e =
match ps with
| p :: ys -> Fun(p, make_funs ys e)
| [] -> e
%}
%token <int> INT
%token <string> IDENT CNAME
%token TIMES DIV PLUS MINUS
%token LPAREN RPAREN
%token FUN ARR BAR
%token AND OR EQ LT GT LEQ GEQ NEQ COMMA
%token TRUE FALSE IF THEN ELSE LET IN AS WHEN
%token TRY WITH RAISE MATCH END UNDERSCORE
%token FST SND
%token EOF
%start <Ast.expr> prog
%left COMMA
%nonassoc AND OR
%nonassoc EQ NEQ LT GT LEQ GEQ
%left PLUS MINUS
%left TIMES DIV
%%
prog:
| e = mixfix; EOF { e }
;
patterns:
| p = pattern; ps = patterns { p :: ps }
| p = pattern { [p] }
mixfix:
| IF; e1 = mixfix; THEN; e2 = mixfix; ELSE; e3 = mixfix { If(e1, e2, e3) }
| LET; x = pattern; EQ; e1 = mixfix; IN; e2 = mixfix { Let(x, e1, e2) }
| FUN; ps = patterns; ARR; e = mixfix { make_funs ps e }
| TRY; e1 = mixfix; WITH; e2 = mixfix { Try(e1, e2) }
| e = expr { e }
;
expr:
| e1 = expr; PLUS; e2 = expr { Binop(Add, e1, e2) }
| e1 = expr; MINUS; e2 = expr { Binop(Sub, e1, e2) }
| e1 = expr; DIV; e2 = expr { Binop(Div, e1, e2) }
| e1 = expr; TIMES; e2 = expr { Binop(Mult, e1, e2) }
| e1 = expr; EQ; e2 = expr { Binop(Eq, e1, e2) }
| e1 = expr; LT; e2 = expr { Binop(Lt, e1, e2) }
| e1 = expr; GT; e2 = expr { Binop(Gt, e1, e2) }
| e1 = expr; LEQ; e2 = expr { Binop(Leq, e1, e2) }
| e1 = expr; GEQ; e2 = expr { Binop(Geq, e1, e2) }
| e1 = expr; NEQ; e2 = expr { Binop(Neq, e1, e2) }
| e1 = expr; AND; e2 = expr { Binop(And, e1, e2) }
| e1 = expr; OR; e2 = expr { Binop(Or, e1, e2) }
| e1 = expr; COMMA; e2 = expr { Pair(e1, e2) }
| e = app { e }
;
app:
| e1 = app; e2 = base { App(e1, e2) }
| FST; e = base { Fst e }
| SND; e = base { Snd e }
| RAISE { Raise }
| c = CNAME; e = base { Ctor(c, e) }
| e = base { e }
;
base:
| i = INT { Int i }
| x = IDENT { Var x }
| LPAREN; RPAREN { Unit }
| LPAREN; e = mixfix; RPAREN { e }
| TRUE { Bool true }
| FALSE { Bool false }
| MATCH; e = mixfix; WITH; option(BAR); cs=separated_list(BAR,clause); END
{ Match(e, cs) }
;
clause:
| p=pattern; ARR; e=mixfix { (p, e) }
;
pattern:
| p1=pattern; COMMA; p2=pattern { PPair(p1, p2) }
| p=pattern_app; AS; x=IDENT { PAs(p, x) }
| p=pattern_app; WHEN; e=expr { PWhen(p, e) } (* dodanie WHEN*)
| p=pattern_app { p }
;
pattern_app:
| c = CNAME; p = pattern_base { PCtor(c, p) }
| p=pattern_base { p }
;
pattern_base:
| UNDERSCORE { PWildcard }
| LPAREN; RPAREN { PUnit }
| LPAREN; p=pattern; RPAREN { p }
| x=IDENT { PVar x }
| i=INT { PInt i }
| TRUE { PBool true }
| FALSE { PBool false }
;

Add Comment

Please, Sign In to add comment