[opentheory-users] quoted strings

Ramana Kumar ramana.kumar at gmail.com
Mon Sep 12 23:02:34 UTC 2011

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

More information about the opentheory-users mailing list