[opentheory-users] quoted strings

[Joe Hurd]

Hi Ramana,

I've tried to be clearer in the article specification what the format
is for strings:

http://www.gilith.com/research/opentheory/article.html#nameCommand

Could you take a look and see if that answers your questions?

Cheers,

Joe

On Mon, Jan 10, 2011 at 7:21 AM, Ramana Kumar <ramana.kumar at gmail.com> wrote:
> It appears that the quoted string command allows (requires) special
> characters to be escaped.
> For example, bool.art from bool-1.0 contains the following line, literally:
>
> "Data.Bool./\\"
>
> Is that name 'Data.Bool./\' or 'Data.Bool./\\'?
>
> The article format specification is at best unclear about this.
> Reading the specification literally, it looks like you get a command
> "s" (the quotation marks are literal characters and between them is a
> variable) and interpret it as Name s, not Name (parse_as_string s). Of
> course it does say that the variable stands for a string, and maybe
> that's supposed to be the clue that it might contain character
> escapes...
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>