Commit 6e38aa90 by POTTIER Francois

New test case.

parent 95841216
Error: the parameterized nonterminal symbols in this grammar
cannot be expanded away: expansion would not terminate.
The first formal parameter of "array(X,_)" grows without bound.
%token A L R
%start<unit> main
%%
wrap(X):
X
{}
array(seq,X):
L seq(wrap(X)) R
{}
X(x):
array(X,x)
{}
(* Attempt to cause a name capture during selective expansion:
array(seq,X) is specialized with (seq := X) but keeps its
formal parameter X. This could create a confusion if formal
parameters were not internally renamed. *)
main:
array(X, 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