Metasyntax glitch?

[Paul Hilfinger]

No doubt this is an old question, but I am curious to know whether the
syntax (accepted by bison) 

        foo: bar
           ; | baz
           ; | thud
           ;;;

is actually intentional.

Paul Hilfinger