[opentheory-users] quoted strings

[Ramana Kumar]

On Mon, Sep 12, 2011 at 11:56 PM, Joe Hurd <joe at gilith.com> wrote:
> Hi Ramana,
>
>> But does this mean that variables and type variables might have names
>> including a (non-empty) namespace?
>
> Yes, this is legal according to the standard as it is right now, but I
> don't like it. What would you think about adding a requirement that
> variable and type variable names must be in the global namespace?

Where global namespace means an empty list for the first component of
the name? I think that's a reasonable requirement.

>
> Cheers,
>
> Joe
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>