[opentheory-users] quoted strings

Ramana Kumar ramana.kumar at gmail.com
Mon Jan 10 15:21:39 UTC 2011


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...



More information about the opentheory-users mailing list