Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
b2ebb393
Commit
b2ebb393
authored
Jun 08, 2018
by
POTTIER Francois
Browse files
Fix the expected test output after changes in [standard.mly].
parent
454a40fa
Changes
249
Hide whitespace changes
Inline
Side-by-side
test/bad/duplicate-formal.expected
View file @
b2ebb393
File "duplicate-formal.mly", line 6, characters 0-3:
Error: several parameters of this rule are named "X2
5
".
Error: several parameters of this rule are named "X2
7
".
test/bad/option.expected
View file @
b2ebb393
File "option.mly", line 6, characters 0-6:
File "../../src/standard.mly", line
98
, characters 8-14:
File "../../src/standard.mly", line
112
, characters 8-14:
Error: the symbol option is defined with arities 0 and 1.
test/bad/unification-error-in-args.expected
View file @
b2ebb393
File "unification-error-in-args.mly", line 7, characters 6-7:
Error: does the symbol "X2
5
" expect 0 or 1 argument?
Error: does the symbol "X2
7
" expect 0 or 1 argument?
test/good/JSParse.opp.exp
View file @
b2ebb393
...
...
@@ -1397,4 +1397,3 @@ assignment_operator:
test/good/K3Parser.opp.exp
View file @
b2ebb393
...
...
@@ -1008,4 +1008,3 @@ check_expr:
%%
test/good/albatross.opp.exp
View file @
b2ebb393
...
...
@@ -1021,4 +1021,3 @@ exp_case:
%%
test/good/alphaCaml-demos-interactive.opp.exp
View file @
b2ebb393
...
...
@@ -31,4 +31,3 @@ declarations:
%%
test/good/alphaCaml-demos-mixins.opp.exp
View file @
b2ebb393
...
...
@@ -133,4 +133,3 @@ variables:
%%
test/good/alphaCaml-demos-poplmark.opp.exp
View file @
b2ebb393
...
...
@@ -163,4 +163,3 @@ NEPatFields:
%%
test/good/alphaCaml.opp.exp
View file @
b2ebb393
...
...
@@ -287,4 +287,3 @@ phrase:
%%
test/good/alphaprolog.opp.exp
View file @
b2ebb393
...
...
@@ -567,4 +567,3 @@ ty0s:
%%
test/good/amalthea.opp.exp
View file @
b2ebb393
...
...
@@ -132,4 +132,3 @@ atom:
%%
test/good/anonymous-nested.opp.exp
View file @
b2ebb393
...
...
@@ -124,4 +124,3 @@ in
%%
test/good/anonymous-param-redundant.exp
View file @
b2ebb393
...
...
@@ -4,18 +4,18 @@ Grammar has 9 productions.
nullable(seplist(A)) = false
nullable(phrase) = false
nullable(other) = false
nullable(midrule(__anonymous_1)) = false
nullable(list(__anonymous_0(A,B))) = true
nullable(embedded(__anonymous_1)) = false
first(seplist(A)) = A
first(phrase) = C
first(other) = A
first(midrule(__anonymous_1)) = D C
first(list(__anonymous_0(A,B))) = B A
first(embedded(__anonymous_1)) = D C
follow(seplist(A)) = EOF
follow(phrase) = #
follow(other) = #
follow(midrule(__anonymous_1)) = A
follow(list(__anonymous_0(A,B))) = EOF D
follow(embedded(__anonymous_1)) = A
Built an LR(0) automaton with 20 states.
The grammar is SLR(1).
Built an LR(1) automaton with 20 states.
...
...
test/good/anonymous-param-redundant.mly
View file @
b2ebb393
...
...
@@ -32,4 +32,4 @@ other:
D and is NOT parameterized over X. *)
seplist
(
X
)
:
X
{}
|
X
embedded
(
C
{}
|
D
{})
seplist
(
X
)
{}
|
X
midrule
(
C
{}
|
D
{})
seplist
(
X
)
{}
test/good/anonymous-param-redundant.opp.exp
View file @
b2ebb393
...
...
@@ -10,17 +10,17 @@
%type <(int, int) either> phrase
%%
embedded
___anonymous_1_:
midrule
___anonymous_1_:
_10 = C
{let x =
let _1 = _10 in
()
()
in
( x )}
| _10 = D
{let x =
let _1 = _10 in
()
()
in
( x )}
...
...
@@ -61,10 +61,9 @@ other:
seplist_A_:
_1 = A
{ ()}
| _1 = A _2 =
embedded
___anonymous_1_ _3 = seplist_A_
{
()}
| _1 = A _2 =
midrule
___anonymous_1_ _3 = seplist_A_
{ ()}
%%
test/good/anonymous-param.opp.exp
View file @
b2ebb393
...
...
@@ -55,4 +55,3 @@ phrase:
%%
test/good/anonymous.opp.exp
View file @
b2ebb393
...
...
@@ -47,4 +47,3 @@ phrase:
%%
test/good/atd_parser.opp.exp
View file @
b2ebb393
...
...
@@ -277,4 +277,3 @@ field_name:
%%
test/good/attapl-deptypes.opp.exp
View file @
b2ebb393
...
...
@@ -257,4 +257,3 @@ TyBinder:
%%
Prev
1
2
3
4
5
…
13
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment