On Thu, Oct 04, 2001 at 01:08:03AM -0700, Simon Peyton-Jones wrote:
2. Instead, add the following paragraph to 5.3 (Import declarations)
"Lexically speaking, the terminal symbols ``as'', ``qualified'' and ``hiding'' are each a varid rather than a reservedid. They have special significance only in the context of an import declaration; in other contexts they may be used as variables."
I do hope that I can import variables named "as", "qualified", or "hiding"; your text is slightly ambiguous. What about:
"Lexically speaking, the terminal symbols ``as'', ``qualified'' and ``hiding'' are each a varid rather than a reservedid. They have special significance only in the context of an import declaration; they may also be used as variables.
Best, Dylan Thurston