cakeml
cakeml copied to clipboard
Add lexer support for more escape sequences inside string and character literals
The lexer does not accept numerical escape sequences inside string or character literals, e.g.: #"\100" or "\100" should be turned into #"d" and "d" respectively.
The relevant code is here.