This repository was archived by the owner on Apr 1, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +21
-21
lines changed Expand file tree Collapse file tree 1 file changed +21
-21
lines changed Original file line number Diff line number Diff line change 33This is an EBNF grammar for the (experimental) core IR language.
44
55```
6- expr ::= expr '.' expr
7- | expr ' '+ expr
8- | '{' expr (';' expr)* ';'? '}'
9- | 'if' expr 'then' expr 'else' expr
10- | ('lexical' | 'import' | 'load') expr
11- | lit
12- | 'let'? lvalue '=' expr
13- | '(' expr ')'
6+ expr ::= expr '.' expr
7+ | expr ' '+ expr
8+ | '{' expr (';' expr)* ';'? '}'
9+ | 'if' expr 'then' expr 'else' expr
10+ | ('lexical' | 'import' | 'load') expr
11+ | lit
12+ | 'let'? lvalue '=' expr
13+ | '(' expr ')'
1414
15- lvalue ::= ident
16- | parens expr
15+ lvalue ::= ident
16+ | parens expr
1717
18- lit ::= '#true'
19- | '#false'
20- | 'unit'
21- | 'frame'
22- | lambda
23- | ident
18+ lit ::= '#true'
19+ | '#false'
20+ | 'unit'
21+ | 'frame'
22+ | lambda
23+ | ident
2424
25- lambda ::= ('λ' | '\') ident ('->' | '→') expr
25+ lambda ::= ('λ' | '\') ident ('->' | '→') expr
2626
27- ident ::= [A-z_] ([A-z0-9_])*
28- | '#{' [^{}]+ '}'
29- | '"' [^"]+ '"'
30- ```
27+ ident ::= [A-z_] ([A-z0-9_])*
28+ | '#{' [^{}]+ '}'
29+ | '"' [^"]+ '"'
30+ ```
You can’t perform that action at this time.
0 commit comments