On 23 Jul 2006 at 4:31, Waldek Hebisch wrote:
If the keyword is enabled GPC will treat it as a keyword (to be more precise: most keywords are recognized as a keyword only when the keyword is allowed by the grammar, otherwise are still treated as identifiers). However, GPC applies a large number of validity checks to the program, and the other checks still may reject the program.
I understand now, thanks.
I am reluctant to document existing behaviour, since it mostly reflects various implementation details which otherwise should be irrelevant for the user.
OK, I accept that enable-keyword cannot be used to extend a dialect selectively (too bad, though :-). But then it should be documented in the manual that enable-keyword must only be used if a preceding disable-keyword was done (and the same for enable-predefined-identifier).
-- Dave