finn-lang/grammar.txt

expression ->
	| sequence
	| apply
	| unary
	| binary
	| let
	| compound
	| control
	| selector
	| index
	| identifier
	| primary

grouping -> "(" expression ")" ;
unary -> ( "-" | "!" ) expression ;
binary -> expression operator expression ;
operator ->
	| "==" | "!=" | "<" | "<=" | ">" | ">="
	| "+" | "-" | "*" | "/"
	| "++" ;
pattern -> "_" | record_pattern | variant_pattern ;
record_pattern -> "{" ( identifier ( "=" pattern )? ( "," identifier ( "=" pattern )? )* ) ( "|" identifier ) "}"
variant_pattern -> "`" identifier ( "(" ( "_" | compound_pattern | identifier ) ")" )? ;
parameters -> "(" ( identifier ( "," identifier )* )?")"
let -> "let" ( identifier parameters? | pattern ) "=" expression ( "and" ( identifier parameters? | pattern ) "=" expression )* "in" expression ;
control ->
	| if
	| when
if -> "if" expression "then" expression "else" expression ;
when -> "when" expression "is" ( ( identifier | pattern ) "=>" expression )+ ;
compound -> variant | record | list ;
variant -> "`" identifier ( "(" expression ")" )? ;
base_record -> expression ( "with" identifier "=" expression ( "," "with" identifier "=" expression )* )?
record ->
	"{" ( identifier ("=" expression)? ( "," identifier ("=" expression)? )* )? ( "|" base_record )* "}" ;
list -> "[" ( expression ( "," expression )* )? "]" ;
identifier -> IDENTIFIER | "@" STRING ;
operand -> ( NUMBER | STRING | identifier | "(" expression ")" ) ;
selector -> "." identifier ;
index -> "[" expression "]" ;
arguments -> "(" ( "_" | expression ( "," ( "_" | expression ) )* )? ")" ;
primary -> operand ( selector | index | arguments ) ;