1597:84328a4df655 | 1598:d82e13d57821 |
---|---|
37 end | 37 end |
38 | 38 |
39 local function unescape(s) | 39 local function unescape(s) |
40 if s == "\\'" then return "'"; end | 40 if s == "\\'" then return "'"; end |
41 if s == "\\n" then return "\n"; end | 41 if s == "\\n" then return "\n"; end |
42 if s == "\\\\" then return "\\"; end | |
42 error("Unknown escape sequence: "..s); | 43 error("Unknown escape sequence: "..s); |
43 end | 44 end |
44 local function readString() | 45 local function readString() |
45 read("'"); | 46 read("'"); |
46 local s = ""; | 47 local s = ""; |