> Is this a parsing bug?

See section 6.7 of the manual, 'pattern-matching ::=  ...'.

<when> is not mentioned in the definition of <pattern>
(section 6.6); it's mentioned only in the definition
of <expr> (section 6.7). Since an or-pattern is a
<pattern>, it appears that it can have only one <when>
clause.

Regards