Commit 626fc91a authored by POTTIER Francois's avatar POTTIER Francois

Updated expected test output.

This one changes because the standard library has grown.
parent 5167ab9a
A :: *
B :: *
anonymous :: (*) -> *
append :: (*, *) -> *
boption :: (*) -> *
delimited :: (*, *, *) -> *
embedded :: (*) -> *
endrule :: (*) -> *
error :: *
flatten :: (*) -> *
foo :: (*) -> *
ioption :: (*) -> *
list :: (*) -> *
......@@ -16,6 +18,7 @@ nonempty_list :: (*) -> *
option :: (*) -> *
pair :: (*, *) -> *
preceded :: (*, *) -> *
rev :: (*) -> *
separated_list :: (*, *) -> *
separated_nonempty_list :: (*, *) -> *
separated_pair :: (*, *, *) -> *
......@@ -25,6 +28,7 @@ Grammar has 2 terminal symbols.
Grammar has 1 productions.
nullable(main) = false
first(main) = A
minimal(main) = (* 2 *) A B
follow(main) = #
follow(error) =
follow(B) = #
......
A :: *
B :: *
anonymous :: (*) -> *
append :: (*, *) -> *
boption :: (*) -> *
delimited :: (*, *, *) -> *
embedded :: (*) -> *
endrule :: (*) -> *
error :: *
flatten :: (*) -> *
foo :: (*) -> *
ioption :: (*) -> *
list :: (*) -> *
......@@ -16,6 +18,7 @@ nonempty_list :: (*) -> *
option :: (*) -> *
pair :: (*, *) -> *
preceded :: (*, *) -> *
rev :: (*) -> *
separated_list :: (*, *) -> *
separated_nonempty_list :: (*, *) -> *
separated_pair :: (*, *, *) -> *
......
File "../../src/standard.mly", line 197, characters 8-12:
File "../../src/standard.mly", line 209, characters 8-12:
Warning: symbol list(B) is unreachable from any of the start symbol(s).
Grammar has 2 nonterminal symbols, among which 1 start symbols.
Grammar has 3 terminal symbols.
......@@ -7,13 +7,15 @@ nullable(main) = false
nullable(list(C)) = true
first(main) = A
first(list(C)) = C
minimal(main) = (* 2 *) A B
minimal(list(C)) = (* 0 *)
follow(main) = #
follow(list(C)) = #
Built an LR(0) automaton with 7 states.
The grammar is SLR(1).
Built an LR(1) automaton with 7 states.
Warning: 2 states have an end-of-stream conflict.
File "../../src/standard.mly", line 197, characters 16-16:
File "../../src/standard.mly", line 209, characters 16-16:
Warning: production list(C) -> is never reduced.
Warning: in total, 1 production is never reduced.
3 out of 7 states have a default reduction.
......
File "../../src/standard.mly", line 197, characters 8-12:
File "../../src/standard.mly", line 209, characters 8-12:
Warning: symbol list(B) is unreachable from any of the start symbol(s).
%start main
%token A
......
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