[sc34wg3] CTM - Include directive

[Lars Marius Garshol]

* Lars Heuer
>
> The "include" directive is discribed as "[...] the equivalent of
> concatenation [...]".
> This seems to be no problem at the first impression, but if you think
> about it, I wonder if this is really the case.

I think in general, the include directive is meant to be used only in  
cases where the author has full control over what appears in the  
various files, in order to avoid clashes of various sorts, and this  
would be one of the possible clashes.

So, I think in general the mere fact that include can cause clashes is  
not necessarily an argument against its existence. It's more of an  
argument for cautious use of it.

Still, I think the examples you give here are a bit worrying. Maybe we  
should make an exception for the default prefix, and say that it does  
*not* get included with the other prefixes?

Defining "include" as a simple textual concatenation was never going  
to work anyway, since that would preclude included files from having  
encoding and version directives.

--Lars M.