Commit 43c16c58 authored by POTTIER Francois's avatar POTTIER Francois

New negative tests of %inline with attributes.

parent b8c9ef2d
File "inline-attribute-def.mly", line 7, characters 12-21:
Error: the nonterminal symbol foo is declared %inline.
It cannot carry an attribute.
%token A B
%start<unit> main
%%
main:
foo(B) {}
%inline foo [@cost 0] (bar):
A bar {}
File "inline-attribute-use.mly", line 5, characters 6-15:
Error: the nonterminal symbol foo is declared %inline.
A use of it cannot carry an attribute.
%token A B
%start<unit> main
%%
main:
foo [@cost 0] {}
%inline foo:
A B {}
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