From: Saašha Metsärantala
> Maybe we should clarify that
> (A B) | C
> means the same that
> A B | C
> even without line break, doesn't it?
No, not unless we add to the rules section a rule for evaluation of "|" over tokens. As it is,
A B | C
is ambiguous, that is, it isn't clear whether it means
(A B) | C
> Several productions exclude negative years. Maybe, that is what we want.
> I suggest to clarify this point.
It is true that for some of the definition, for example, where 'u' is a placeholder, I haven't bothered to allow negative years. I don't see the need for that level of complexity. If someone has a concrete use case, I'll add it.
> Furthermore, I can not find the production with
> > dateWithInternalUncertaintly
Right, I've added
> A problem in today's BNF is that it allows dates such as
We have ensured that months and days match up for basic dates. To ensure this for the whacky dates is going to impose extreme complexity and I don't see why it's needed.