[sc34wg3] TMQL: Duplicate production "forall-clause"

Lars Heuer heuer at semagia.com
Sun Nov 30 09:24:49 EST 2008

Hi all,

The production [U] "boolean-expression" is the same production as [42]
The "forall-clause" is reachable through production [39]
"boolean-primitive" which is reachable through "boolean-expression".

Suggestion: Remove [U] and add "==> not some ..." to [42].

Best regards,

More information about the sc34wg3 mailing list