13 Nov
2007
13 Nov
'07
6:04 a.m.
On 12 Nov 2007, at 06:17, Guido Governatori wrote:
[...] Maybe I have not understood how include, but if I write a grammar where patterns contains only an include statement, don't I "create a copy" of the included grammar under a different name?
Well, you include it, yes.
But if the included grammar does something like “begin = '('; end = ')'; patterns = ( … );” then the rules you put in the grammar where you include the former, will not be active inside (…).
Since LaTeX does a lot of this nesting of rules, it is generally not possible to add a new rule then include the old grammar, and expect the new rule to work in all contexts.