You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I came across two minor annoyances with the language specification and how it handles raw strings.
The first has to do with backslash escaping. I couldn't find a more definitive statement but this description of String Templates suggests that raw strings don't do backslash escaping. So this isn't rendered correctly:
Its not the end of the world because I know whats going on. Still it would be nice to fix.
The other issue is slightly more pernicious and probably harder to resolve. Raw strings are allowed to include double quotes, and the language spec handles that fine except when a quote comes at the end of the raw string (that is the parser sees """". So this:
Can be fixed this way by adding a bit of space at the end:
But there is no reason to expect that whitespace at the end of the string isn't meaningful.
Beyond the colours of the code that follows is the issue of how other editor features would interact if they think they're dealing with text.
The text was updated successfully, but these errors were encountered:
I came across two minor annoyances with the language specification and how it handles raw strings.
The first has to do with backslash escaping. I couldn't find a more definitive statement but this description of String Templates suggests that raw strings don't do backslash escaping. So this isn't rendered correctly:
Its not the end of the world because I know whats going on. Still it would be nice to fix.
The other issue is slightly more pernicious and probably harder to resolve. Raw strings are allowed to include double quotes, and the language spec handles that fine except when a quote comes at the end of the raw string (that is the parser sees
""""
. So this:Can be fixed this way by adding a bit of space at the end:
But there is no reason to expect that whitespace at the end of the string isn't meaningful.
Beyond the colours of the code that follows is the issue of how other editor features would interact if they think they're dealing with text.
The text was updated successfully, but these errors were encountered: