Shift-reduce conflict with arbitrary resolution

gistfile1.txt

Warning: one state has shift/reduce conflicts.
Warning: one shift/reduce conflict was arbitrarily resolved.
File "src/variable/parser.mly", line 16, characters 3-3:
Warning: production value_sequence -> is never reduced.
Warning: in total, 1 productions are never reduced.

parser.mly

%start <Types.value list> prog
%%

prog:
  | EOF
    { [] }
  | v = value_sequence; EOF
    { v }
  ;

value_sequence: 
  | (* empty *) { [] }
  | seq = rev_value_sequence
    { List.rev seq }
  ;

rev_value_sequence:
  | v = value
    { [v] }
  | seq = rev_value_sequence; v = value
    { v :: seq }
  ;