diff options
author | Camil Staps | 2017-07-21 09:27:44 +0000 |
---|---|---|
committer | Camil Staps | 2017-07-21 09:27:44 +0000 |
commit | e75996b10dca6d67160055d02db30e9ab1f64224 (patch) | |
tree | 14326f85d03458d38622437f7121227ada355e52 | |
parent | A codeblock ending with a machine statement can be considered sure to return (diff) |
Fix grammar
-rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -16,8 +16,7 @@ or can be interpreted with the [ABCMachine][abc-github] project. <Initialisation> ::= <Type> <Name>-clist ';' -<Statement> ::= <Name> ':=' <Expression> ';' - | <Expression> ';' +<Statement> ::= [<Name> ':='] <Expression> ';' | 'return' [<Expression>] ';' | 'if' '(' <Expression> ')' '{' <CodeBlock> '}' ['else' 'if' '(' <Expression> ')' '{' <CodeBlock> '}']-list @@ -29,7 +28,8 @@ or can be interpreted with the [ABCMachine][abc-github] project. | <Literal> | <Name> '(' <Expression>-clist ')' | <Op1> <Expression> - | <Op2> <Expression> + | <Expression> <Op2> <Expression> + | '(' <Expression> ')' <Op1> ::= '~' | '!' |