Commit 10caa7db authored by POTTIER Francois's avatar POTTIER Francois

Add another positive example with renaming of parameters.

parent 3ed91f3d
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
%token A B EOF
%start<unit> main
%%
%inline eps: {}
%public liste(X): eps {}
%public liste(B): A B liste(B) {}
main: liste(A) B EOF {}
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
%start main
%token A
%token B
%token EOF
%type <unit> main
%%
liste_A_:
_1 = A _2 = A _3 = liste_A_
{ ()}
|
{let _1 =
()
in
()}
main:
_1 = liste_A_ _2 = B _3 = EOF
{ ()}
%%
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