> but as it is written (starting with characters #" ) it > can only be parsed as an exotic identifier Peter, you have previously said "syntax of 'plain' identifier (as opposed to 'exotic' identifier) doesn't allow it to start with character #". That really confused me because in Java bytecode module, package, class, file or method names definitely can indeed start with the characters #". Indeed the original proposal at http://mail.openjdk.java.net/pipermail/coin-dev/2009-March/001131.html does rely on the fact that the #"..." syntax would not otherwise be allowable in Java source code.
However, I can now see that your proposed syntax could work if the script parser ALWAYS interpreted JUST the OUTER #"..." as a case of your special syntax. So, if you wanted to specify in a script the field name #"x" then you would have to write it as #"#\"x\"". Is that what you were meaning all along? That or something along the same lines could work perhaps without too much disruption to existing parsing code. I will need to explore it further but thank you.
