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 	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 = "";