Commit 85f142da authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Re-generated expected output.

parent 99b4532a
File "constant-arity-in-multiple-def-2.mly", line 2, characters 8-9:
File "constant-arity-in-multiple-def-1.mly", line 6, characters 8-9:
Error: symbol b is defined with arities 2 and 1.
Error: the symbol b is defined with arities 2 and 1.
File "cyclic-parameterized-definition.mly", line 5, characters 6-7:
Error: How is this symbol parameterized?
Error: how is this symbol parameterized?
It is used at sorts a and (a -> *) -> *.
The sort a cannot be unified with the sort (a -> *) -> *.
File "declaration-error-a.mly", line 1, characters 15-20:
Error: Ill-formed %token declaration.
Error: syntax error.
Ill-formed %token declaration.
Examples of well-formed declarations:
%token FOO
%token DOT SEMICOLON
......
File "double-equals.mly", line 6, characters 5-6:
Error: Ill-formed production.
Error: syntax error.
Ill-formed production.
A production is a sequence of producers, followed with a semantic action.
Examples of well-formed producers:
expr
......
File "epsilon-cycle.mly", line 8, characters 2-4:
File "epsilon-cycle.mly", line 11, characters 2-4:
File "epsilon-cycle.mly", line 8, characters 2-3:
File "epsilon-cycle.mly", line 11, characters 2-3:
Error: the grammar is ambiguous.
The following items participate in an epsilon-cycle:
a -> . b
......
File "invalid-declarations-a.mly", line 3, characters 11-14:
Error: Ill-formed %token declaration.
Error: syntax error.
Ill-formed %token declaration.
Examples of well-formed declarations:
%token FOO
%token DOT SEMICOLON
......
File "invalid-declarations-b.mly", line 5, characters 7-10:
Error: Ill-formed %start declaration.
Error: syntax error.
Ill-formed %start declaration.
A start symbol must begin with a lowercase letter.
Examples of well-formed declarations:
%start program
......
File "invalid-declarations-c.mly", line 6, characters 6-7:
Error: Ill-formed %type declaration.
Error: syntax error.
Ill-formed declaration.
Examples of well-formed declarations:
%type <Syntax.expression> expression
%type <int> date time
%type <int option> option(date)
%on_error_reduce expression
%on_error_reduce date time
%on_error_reduce option(date)
File "invalid-declarations-d.mly", line 10, characters 0-9:
Error: Ill-formed precedence declaration.
Error: syntax error.
Ill-formed precedence declaration.
Examples of well-formed declarations:
%left PLUS
%left PLUS MINUS
......
File "invalid-declarations-e.mly", line 17, characters 0-0:
Error: Ill-formed production.
Error: syntax error.
Ill-formed production.
A production is a sequence of producers, followed with a semantic action.
Examples of well-formed producers:
expr
......
File "keyword-in-header.mly", line 3, characters 10-12:
Error: A Menhir keyword cannot be used in an OCaml header.
Error: a Menhir keyword cannot be used in an OCaml header.
File "lots-of-errors-a.mly", line 1, characters 0-1:
Error: Either a declaration or %% is expected at this point.
Error: syntax error.
Either a declaration or %% is expected at this point.
File "lots-of-errors-b.mly", line 1, characters 15-20:
Error: Ill-formed %token declaration.
Error: syntax error.
Ill-formed %token declaration.
Examples of well-formed declarations:
%token FOO
%token DOT SEMICOLON
......
File "lots-of-errors-c.mly", line 2, characters 7-8:
Error: Ill-formed %token declaration.
Error: syntax error.
Ill-formed %token declaration.
Examples of well-formed declarations:
%token FOO
%token DOT SEMICOLON
......
File "lowercase-token.mly", line 1, characters 7-10:
Error: Ill-formed %token declaration.
Error: syntax error.
Ill-formed %token declaration.
Examples of well-formed declarations:
%token FOO
%token DOT SEMICOLON
......
File "multiple-type-definition-modules-2.mly", line 1, characters 12-13:
Error: There are multiple %type definitions for nonterminal a.
Error: there are multiple %type declarations for nonterminal a.
File "multiple-type-definition.mly", line 2, characters 12-13:
Error: There are multiple %type definitions for nonterminal a.
Error: there are multiple %type declarations for nonterminal a.
File "non-terminals-tokens-overlap-2.mly", line 3, characters 0-1:
File "non-terminals-tokens-overlap-1.mly", line 1, characters 7-8:
Error: The identifier B is a reference to a token.
Error: the identifier B is a reference to a token.
File "non-terminals-tokens-overlap-other-case-1.mly", line 3, characters 0-1:
File "non-terminals-tokens-overlap-other-case-2.mly", line 1, characters 7-8:
Error: The identifier B is a reference to a token.
Error: the identifier B is a reference to a token.
File "non-terminals-tokens-overlap-simple.mly", line 6, characters 0-1:
File "non-terminals-tokens-overlap-simple.mly", line 2, characters 7-8:
Error: The identifier B is a reference to a token.
Error: the identifier B is a reference to a token.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment