tecta-peg 0.5.0

PDA-based TECTA PEG parser
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44


#keywords hard: fun not and or;
#keywords soft: name;

unop = '-' | '~' | "not";
binop = '+' | '-' | '*' | '/' | '%' | '|' | '^' | '&' | '>>' | '<<';
logicop = "and" | "or";

name = @ident | '@' "name" (expr);

delimited_expr = (expr);
tuple = (expr ','*~);

reshape = '.' <name tuple | name>;
chainop = reshape | tuple;

block = { <expr ';'> .*~ };
leaf = &[
    name: name;
    delimited_expr: delimited_expr;
    tuple: tuple;
];
term = <leaf | unop term> chainop .*~;

binexpr = term binop+;
expr = binexpr logicop+;

param =  name ':' expr;
param_inferrable = name <':' expr>?;

ct_args = [param_inferrable ','*~];
rt_args = (param ','*~);

function_def = &{
    kw: "fun";
    name: name;
    ct_args: ct_args?;
    rt_args: rt_args?;
    return_type: <'->' expr>?;
    expr: <'=' expr | block>;
};

a = b;
b = a^;