K-user mailing list

[Omar Duhaiby <3omarz AT gmail.com>]

You want to change K's predefined the lexer rules for String. You should define your own String format, call it String2 for example. K defines String like this:

syntax #String ::= Lexer{"\"" (~[\"\\] | "\\\"" | "\\")* "\""}
                   // where '\' cannot be followed by double quote

I took this from the documentation/ref-manual.k file.

All you have to do is replace "\"" with [\"\']

of course you don't need the # before your String2

I haven't tested it but it should work