(I've added parentheses in the metalanguage, on the assumption that the postfix ellipsis notation used throughout the specification denotes the operand's Kleene closure.)
However, OdinMonkey's validator accepts comma-separated function table declarations of the form:
The js validator (as of 7ef85ddc8630f184230e9d31c1d990dc88ef3577) and OdinMonkey both accept this code, so this appears to be a minor oversight in the spec.
This issue mimics #63 for function table declarations. The production is given in section 5.6 of the specification as follows:
(I've added parentheses in the metalanguage, on the assumption that the postfix ellipsis notation used throughout the specification denotes the operand's Kleene closure.)
However, OdinMonkey's validator accepts comma-separated function table declarations of the form:
Consider, for example, the following valid module: