Re: Unallocated names

On Tue, Sep 4, 2012 at 11:22 AM, Ian Lynagh wrote:

Does anyone think that this check is currently useful, or should I just turn it off?

I think it should be turned off, or at most become a warning. There's no particular rhyme or reason to the current naming hierarchy, so freezing it in stone seems arbitrary.