b/finn-lang
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Allow trailing comma in list and record grammars

Browse Source
This commit is contained in:
Brandon Dyck 2023-07-02 11:39:37 -06:00
parent 63edbae650
commit 5f9b4a2fb6
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
grammar.txt
View File

@ -28,10 +28,10 @@ control ->
if -> "if" expression "then" expression "else" expression ; if -> "if" expression "then" expression "else" expression ;
when -> "when" expression "is" ( ( identifier | pattern ) "=>" expression )+ ; when -> "when" expression "is" ( ( identifier | pattern ) "=>" expression )+ ;
variant -> "`" identifier ( "(" expression ")" )? ; variant -> "`" identifier ( "(" expression ")" )? ;
base_record -> expression ( "with" identifier "=" expression ( "," "with" identifier "=" expression )* )? base_record -> expression ( "with" identifier "=" expression ( "," identifier "=" expression )* ","? )?
record -> record ->
"{" ( identifier ("=" expression)? ( "," identifier ("=" expression)? )* )? ( "|" base_record )* "}" ; "{" ( identifier ("=" expression)? ( "," identifier ("=" expression)? )* )? ( "|" base_record )? "}" ;
list -> "[" ( expression ( "," expression )* )? "]" ; list -> "[" ( expression ( "," expression )* ","? )? "]" ;
identifier -> IDENTIFIER | "@" STRING ; identifier -> IDENTIFIER | "@" STRING ;
operand -> ( NUMBER | STRING | identifier | "(" expression ")" | record | variant | list) ; operand -> ( NUMBER | STRING | identifier | "(" expression ")" | record | variant | list) ;
selector -> "." identifier ; selector -> "." identifier ;