cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Add lexer support for more escape sequences inside string and character literals

Open oskarabrahamsson opened this issue 3 years ago • 0 comments

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.

oskarabrahamsson avatar Aug 15 '22 15:08 oskarabrahamsson