Re: Allow digits in identifiers (issue 6493072)

[Trevor Daniels]

David Kastrup wrote Wednesday, September 05, 2012 4:12 PM

> Here is another "cure" for that request: if we can get used to writing
> "violin1" = { ... }
> for defining a name with numbers in it, it would be an obvious syntax
> extension to allow its invocation as
> 
> \"violin1"

As this wouldn't break existing scores this looks like a possibility
to me.  It's quite a natural extension to use quote marks when a
string contains 'strange' characters.
 
> A somewhat non-obvious disadvantage is that this is likely to confuse
> the syntax highlighting of editors used to C-like strings, since \" is
> not a string delimiter at least inside of C strings, and so it might not
> be considered a string starter.

Hm.  Might cause lots of %" to be inserted.

Trevor