Closed mterber closed 4 years ago
Describe the bug When I use the word "next" as an identifier for a variable I receive a syntax error. If I rename the variable, e.g. to "next1", then the error is gone.
syntax error 'next'.parsing test.blc(9, 1): start of chunk. test.blc(10, 9): unexpected token.
To Reproduce
function cbuf_push () (head: nat16) var next: nat16 = head + 1 end
Expected behaviour I would expect no syntax error because according to https://github.com/boschresearch/blech-doc/blob/master/documentation/blech-user-manual/lexical.adoc "next" does not seem to be a keyword (or special in any sense).
Screenshots
'next' is a reserved keyword. It's dual to 'prev' and will become necessary for parallel blech.
Okay, thanks for the clarification.
Describe the bug When I use the word "next" as an identifier for a variable I receive a syntax error. If I rename the variable, e.g. to "next1", then the error is gone.
To Reproduce
Expected behaviour I would expect no syntax error because according to https://github.com/boschresearch/blech-doc/blob/master/documentation/blech-user-manual/lexical.adoc "next" does not seem to be a keyword (or special in any sense).
Screenshots![syntax_error](https://user-images.githubusercontent.com/13783234/77818606-ffc91500-70d3-11ea-8a03-582001a04051.png)