ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 12:17:35 +03:00
Code Issues Packages Projects Releases Wiki Activity

remove cast-expression from abnf for now

Browse Source
This commit is contained in:
gluax 2021-04-14 16:17:57 -04:00
parent 11c78da916
commit 124235c15d
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
grammar/abnf-grammar.txt
View File

@ -802,18 +802,13 @@ unary-expression = postfix-expression
/ "!" unary-expression
/ "-" unary-expression
; Next in the operator precedence is casting.
cast-expression = unary-expression
/ cast-expression %s"as" type
; Next in the operator precedence is exponentiation,
; following mathematical practice.
; The current rule below makes exponentiation left-associative,
; i.e. 'a ** b ** c' must be parsed as '(a ** b) ** c'.
exponential-expression = cast-expression
/ cast-expression "**" exponential-expression
exponential-expression = unary-expression
/ unary-expression "**" exponential-expression
; Next in precedence come multiplication and division, both left-associative.