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
{{ message }}
This repository was archived by the owner on Dec 19, 2025. It is now read-only.
This issue applies to character and string literals. Currently, both of these literals only recognise simple escape sequences of a backslash and a certain character, for example \n. However, there will be cases where one may desire to input a Unicode or ASCII escape sequence, for example "\u{24}" or "\x24" for the dollar sign ($).
Possible methods of implementation
I'm not exactly sure how to approach this problem. I will look for possible ways to implement this feature as I learn more. For now, this issue will remain open as a reminder.