[opentheory-users] quoted strings

Ramana Kumar ramana.kumar at gmail.com
Tue Sep 13 07:18:06 UTC 2011

Thinking about this more, it seems like there are really two types of
value here, so there should be two types (of object) to match.
I think an elegant approach would be to make the double-quote command
produce a plain string object (which can be an argument to the var and
varType commands), and have a separate command and object type for
constant/namespace names that actually takes a list of strings and a
string (or just a list). Incidentally, dots would then not have to be
What do you all think?

On Tue, Sep 13, 2011 at 12:02 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> 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