%{
  my $is_range = 0;
%}

%conflict rangeORenum {
  if ($is_range) 
    { $self->YYSetReduce([',', ')'], 'ID:RANGE' ); }
  else 
    { $self->YYSetReduce([',', ')'], 'ID:ENUM' ); }
} 

%token ID  = /([A-Za-z]\w*)/
%token NUM = /(\d+)/

%left   ','
%left   '-' '+'
%left   '*' '/'

%expect-rr 2

%%

type_decl : 'type' ID '=' type ';' expr
;

type : 
      %name ENUM
      Lookahead '(' id_list ')'
    | %name RANGE
      Lookahead expr '..' expr
;

Lookahead: /* empty */  { $is_range = $_[0]->YYPreParse('Range'); }
;

id_list : 
      %name ID:ENUM
      ID                      %PREC rangeORenum
    | id_list ',' ID
;

expr : '(' expr ')'   { $_[2] } /* bypass */
    | %name PLUS     expr '+' expr
    | %name MINUS    expr '-' expr
    | %name TIMES    expr '*' expr
    | %name DIV      expr '/' expr
    | %name COMMA    expr ',' expr
    | %name ID:RANGE
      ID                     %PREC rangeORenum
    | %name NUM      NUM
;

%%

=head1 SYNOPSIS

See 

=over 2

=item * File C<userange.pl>.

=item * File C<Range.eyp>.

=item * File pascalenumeratedvsrange.eyp in examples/debuggintut/

=item * The Bison manual L<http://www.gnu.org/software/bison/manual/html_mono/bison.html>

=back

Compile it with:

      eyapp Range.eyp
      eyapp -TC pascalnestedeyapp2.eyp

Run it with this options:

    $ ./pascalnestedeyapp2.pm -t -i -m 1 -c 'type e = (x, y, z);'
    $ ./pascalnestedeyapp2.pm -t -i -m 1 -c 'type e = (x, @, z);'

Try also these inputs:

                type e = (x) .. (y);
                type r = (x) ..  y ;
                type r = (x+2)*3 ..  y/2 ;
                type e = (x, y, z);
                type e = (x);
                type e = (x, y, z) .. (u+v);


=cut