Commit 3ed91f3d authored by POTTIER Francois's avatar POTTIER Francois

A positive test of a split parameterized symbol.

parent 663a0bc1
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 EOF
%start<unit> main
%%
%inline eps: {}
%public liste(X): eps {}
%public liste(X): X liste(X) {}
main: liste(A) EOF {}
/* The definition of liste(X) is split in two.
Note: liste(X) cannot be renamed list(X),
as it would then collide with the standard
library. */
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 EOF
%type <unit> main
%%
liste_A_:
_1 = A _2 = liste_A_
{ ()}
|
{let _1 =
()
in
()}
main:
_1 = liste_A_ _2 = 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