diff options
| author | Camil Staps | 2017-07-28 12:01:42 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-07-28 12:01:42 +0200 |
| commit | 1f667a7b76fe9b705b383869a0be152138ce9954 (patch) | |
| tree | bd28f45711e1fa941499b4716328601999d4d4b2 | |
| parent | Optimise: remove needless moves between stacks (diff) | |
Update grammar
| -rw-r--r-- | README.md | 18 |
1 files changed, 11 insertions, 7 deletions
@@ -28,17 +28,21 @@ or can be interpreted with the [ABCMachine][abc-github] project. <Expression> ::= <Name> | <Literal> - | <Name> '(' <Expression>-clist ')' - | <Op1> <Expression> - | <Expression> <Op2> <Expression> - | '(' <Expression>-clist ')' - | '(' <Expression> ')' - | <Expression> '.' <Name> + | <Name> '(' <Expression>-clist ')' // Function application + | <Op1> <Expression> // Unary operator + | <Expression> <Op2> <Expression> // Binary operator + | '(' <Expression>-clist ')' // Tuple + | '[' <Type> ']' // Empty list + | '[' <Expression>-clist ']' // List shortcut + | <Expression> '.' <Name> // Field application + | '(' <Expression> ')' // Parenthised expression <Op1> ::= '~' | '!' -<Op2> ::= '+' | '-' | '*' | '/' | '%' | '==' | '||' | '&&' +<Op2> ::= '+' | '-' | '*' | '/' | '%' | '==' | '||' | '&&' | ':' <Type> ::= 'Bool' | 'Int' | 'Void' + | '(' <Type>-clist ')' // Tuple + | '[' <Type> ']' // List <Literal> ::= <Bool> | <Int> <Bool> ::= 'True' | 'False' |