ParserMessages.messages

program: T_while
## The known suffix of the stack is as follows:
##

Expected 'fun' keyword.
A program must start with the 'fun' keyword.

program: T_fun T_while
## The known suffix of the stack is as follows:
## T_fun
program: T_fun T_identifier T_left_par T_ref T_while
## The known suffix of the stack is as follows:
## T_ref
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_var T_while
## The known suffix of the stack is as follows:
## T_var
program: T_fun T_identifier T_left_par T_identifier T_comma T_while
## The known suffix of the stack is as follows:
## T_comma

# Identifier is missing after keywords fun, ref and var.

Expected identifier.
After 'fun', 'ref', 'var' keywords and comma ',' an identifier is expected.

program: T_fun T_identifier T_while
## The known suffix of the stack is as follows:
## T_fun T_identifier

# Parameter definitions enclosed in parentheses after the identifier of a function header.

Expected opening parenthesis '(' after identifier in function header.

program: T_fun T_identifier T_left_par T_while
## The known suffix of the stack is as follows:
## T_fun T_identifier T_left_par

# Parameter definitions are expected after opening parenthesis in function header.

Expected 'ref' keyword or identifier after opening parenthesis '(' in function header.

program: T_fun T_identifier T_left_par T_right_par T_while
## The known suffix of the stack is as follows:
## T_fun T_identifier T_left_par T_right_par1
program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_right_par T_while
## The known suffix of the stack is as follows:
## T_fun T_identifier T_left_par fpar_def_list T_right_par
program: T_fun T_identifier T_left_par T_identifier T_while
## The known suffix of the stack is as follows:
## T_identifier
program: T_fun T_identifier T_left_par T_ref T_identifier T_while
## The known suffix of the stack is as follows:
## T_ref T_identifier
program: T_fun T_identifier T_left_par T_identifier T_comma T_identifier T_while
## The known suffix of the stack is as follows:
## T_comma T_identifier
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_var T_identifier T_while
## The known suffix of the stack is as follows:
## T_var T_identifier

# A colon ':' is missing.

Expected colon ':'.
After parameter definitions in function header, after parameter identifier list
and after variable identifier list a colon ':' is expected.

program: T_fun T_identifier T_left_par T_right_par T_colon T_while
## The known suffix of the stack is as follows:
## T_fun T_identifier T_left_par T_right_par T_colon
program: T_fun T_identifier T_left_par T_ref T_identifier T_colon T_while
## The known suffix of the stack is as follows:
## T_ref T_identifier id_list T_colon
program: T_fun T_identifier T_left_par T_identifier T_colon T_while
## The known suffix of the stack is as follows:
## T_identifier id_list T_colon
program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_right_par T_colon T_while
## The known suffix of the stack is as follows:
## T_fun T_identifier T_left_par fpar_def_list T_right_par T_colon
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_var T_identifier T_colon T_while
## The known suffix of the stack is as follows:
## T_var T_identifier id_list T_colon

# The data type is missing after a colon ':'.

Expected data type after colon ':'.
A data type must be provided after a colon ':' in a function header, a parameter definition
or a variable definition.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_var T_identifier T_colon T_char T_while
## The known suffix of the stack is as follows:
## data_type
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_var T_identifier T_colon T_char T_left_sqr T_integer T_right_sqr T_right_par
## The known suffix of the stack is as follows:
## T_var T_identifier id_list T_colon var_type

# The semicolon ';' is missing at the end of a variable definition.

Expected semicolon ';' after variable definition.
After variable definitions a semicolon ';' is expected.

program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_semicolon T_while
## The known suffix of the stack is as follows:
## fpar_def T_semicolon

# A parameter definition is missing or a stray semicolon was added.

Expected parameter definition after semicolon ';'.
(Maybe you mistakenly entered a semicolon ';'?)

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_while
## The known suffix of the stack is as follows:
## T_if
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_while T_while
## The known suffix of the stack is as follows:
## T_while
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_left_par T_while
## The known suffix of the stack is as follows:
## T_left_par
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_left_par T_identifier T_then
## The known suffix of the stack is as follows:
## T_left_par expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_left_par T_identifier T_equal T_identifier T_then
## The known suffix of the stack is as follows:
## T_left_par cond

# A condition is missing from an if or a while statement.

Expected condition after 'if' and 'while' keywords.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_plus T_while
## The known suffix of the stack is as follows:
## T_plus
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_minus T_while
## The known suffix of the stack is as follows:
## T_minus

# An integer expression is expected after a unary operator.

Expected integer expression.
After the unary operator '$0' an integer expression is expected.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_plus T_while
## The known suffix of the stack is as follows:
## expr T_plus
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_mul T_while
## The known suffix of the stack is as follows:
## expr T_mul
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_mod T_while
## The known suffix of the stack is as follows:
## expr T_mod
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_div T_while
## The known suffix of the stack is as follows:
## expr T_div
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_minus T_while
## The known suffix of the stack is as follows:
## expr T_minus

# An integer expression is expected after an arithmetic operator.

Expected integer expression.
After the arithmetic operator '$0' an integer expression is expected.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_not_equal T_while
## The known suffix of the stack is as follows:
## expr T_not_equal
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_less_eq T_while
## The known suffix of the stack is as follows:
## expr T_less_eq
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_less T_while
## The known suffix of the stack is as follows:
## expr T_less
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_greater_eq T_while
## The known suffix of the stack is as follows:
## expr T_greater_eq
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_greater T_while
## The known suffix of the stack is as follows:
## expr T_greater
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_while
## The known suffix of the stack is as follows:
## expr T_equal

# An expression is expected after a logical operator.

Expected expression.
After the comparison operator '$0' an expression is expected.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_not T_while
## The known suffix of the stack is as follows:
## T_not
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_or T_while
## The known suffix of the stack is as follows:
## cond T_or
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_and T_while
## The known suffix of the stack is as follows:
## cond T_and

# A condition is expected after a logical operator.

Expected condition.
After the logical operator '$0' a condition is expected.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_then
## The known suffix of the stack is as follows:
## expr

# An expression is used as a condition.

Expected condition, but found expression.
The expression '$0' cannot replace a condition.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_plus T_identifier T_assignment
## The known suffix of the stack is as follows:
## expr T_plus expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_minus T_identifier T_assignment
## The known suffix of the stack is as follows:
## expr T_minus expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_minus T_identifier T_assignment
## The known suffix of the stack is as follows:
## T_minus expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_plus T_identifier T_assignment
## The known suffix of the stack is as follows:
## T_plus expr

# A comparison operator is expected.

Expected comparison operator after expression.
The expression '$0' cannot replace a condition.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_not_equal T_identifier T_semicolon
## The known suffix of the stack is as follows:
## expr T_not_equal expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_less_eq T_identifier T_semicolon
## The known suffix of the stack is as follows:
## expr T_less_eq expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_less T_identifier T_semicolon
## The known suffix of the stack is as follows:
## expr T_less expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_greater_eq T_identifier T_semicolon
## The known suffix of the stack is as follows:
## expr T_greater_eq expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_greater T_identifier T_semicolon
## The known suffix of the stack is as follows:
## expr T_greater expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_semicolon
## The known suffix of the stack is as follows:
## expr T_equal expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_or T_left_par T_identifier T_equal T_identifier T_right_par T_while
## The known suffix of the stack is as follows:
## cond T_or cond

# The then keyword is expected.

Expected 'then' or 'do' keyword after the condition '$2 $1 $0'.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_right_par
## The known suffix of the stack is as follows:
## T_if cond

# The then keyword is expected.

Expected 'then' or 'do' keyword after the condition '$0'.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_var
## The known suffix of the stack is as follows:
## T_left_br
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_then T_var
## The known suffix of the stack is as follows:
## T_if cond T_then
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_then T_semicolon T_else T_var
## The known suffix of the stack is as follows:
## T_if cond T_then stmt T_else
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_semicolon T_var
## The known suffix of the stack is as follows:
## stmt
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_while T_identifier T_equal T_identifier T_do T_var
## The known suffix of the stack is as follows:
## T_while cond T_do
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_if T_identifier T_equal T_identifier T_then T_semicolon T_var
## The known suffix of the stack is as follows:
## T_if cond T_then stmt

# A local definition is inside a block.

Expected statement.
Note: Local definitions must happen outside of a function's block.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_string T_while
## The known suffix of the stack is as follows:
## T_string
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_while
## The known suffix of the stack is as follows:
## T_identifier
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_sqr T_identifier T_right_sqr T_while
## The known suffix of the stack is as follows:
## l_value_comp T_left_sqr expr T_right_sqr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_then
## The known suffix of the stack is as follows:
## l_value

# An assignment statement is left incomplete.

Expected assignment operator '<-'.
The assignment statement is left incomplete.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_assignment T_while
## The known suffix of the stack is as follows:
## l_value T_assignment

# The expression is missing from the assignment statement.

Expected expression after assignment operator '<-'.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_return T_while
## The known suffix of the stack is as follows:
## T_return

# After the return keyword an expression or a semicolon ';' is expected.

Expected semicolon ';' or expression after the 'return' keyword.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_return T_identifier T_then
## The known suffix of the stack is as follows:
## T_return expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_assignment T_identifier T_then
## The known suffix of the stack is as follows:
## l_value T_assignment expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_par T_right_par T_while
## The known suffix of the stack is as follows:
## func_call

# A semicolon ';' is missing from the end of a statement.

Expected semicolon ';' at the end of statement.
(Maybe you forgot a semicolon ';'?)

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_while
## The known suffix of the stack is as follows:
## header
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_fun T_identifier T_left_par T_right_par T_colon T_char T_while
## The known suffix of the stack is as follows:
## header

Expected semicolon ';', local definitions or block after the function header '$0'.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_var T_identifier T_colon T_char T_semicolon T_while
## The known suffix of the stack is as follows:
## local_def

Expected local definitions or block after local definition '$0'.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_right_br T_while
## The known suffix of the stack is as follows:
## func_def

Expected End-of-file (EOF) character at the end of the block of the base function.

program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_while
## The known suffix of the stack is as follows:
## data_type
program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_left_sqr T_right_sqr T_while
## The known suffix of the stack is as follows:
## data_type T_left_sqr T_right_sqr
program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_left_sqr T_integer T_right_sqr T_while
## The known suffix of the stack is as follows:
## T_left_sqr T_integer T_right_sqr

Expected semicolon ';', opening square bracket '[' or closing parenthesis ')' after a parameter type.

program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_left_sqr T_while
## The known suffix of the stack is as follows:
## data_type T_left_sqr
program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_left_sqr T_right_sqr T_left_sqr T_while
## The known suffix of the stack is as follows:
## T_left_sqr

# An integer is expected inside the square brackets of a parameter type or a variable type.

Expected integer expression (or closing square bracket ']' for parameter type) inside the square
brackets of a parameter/variable type.

program: T_fun T_identifier T_left_par T_identifier T_colon T_char T_left_sqr T_integer T_while
## The known suffix of the stack is as follows:
## T_left_sqr T_integer

# Unclosed parenthesis/bracket/square bracket.

Expected a closing square bracket ']'. The corresponding opening square bracket '[' is unclosed.

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_return T_left_par T_while
## The known suffix of the stack is as follows:
## T_left_par
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_sqr T_while
## The known suffix of the stack is as follows:
## l_value_comp T_left_sqr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_return T_left_par T_identifier T_then
## The known suffix of the stack is as follows:
## T_left_par expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_sqr T_identifier T_then
## The known suffix of the stack is as follows:
## l_value_comp T_left_sqr expr

# An expression is expected inside parentheses.

Expected expression inside enclosing symbols (parentheses, brackets, square brackets).

program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_par T_while
## The known suffix of the stack is as follows:
## T_identifier T_left_par
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_par T_identifier T_then
## The known suffix of the stack is as follows:
## expr
program: T_fun T_identifier T_left_par T_right_par T_colon T_char T_left_br T_identifier T_left_par T_identifier T_comma T_while
## The known suffix of the stack is as follows:
## expr T_comma

Expected a closing parenthesis ')' or expression list inside the parentheses of a function call.