search

andremm / typedlua

An Optional Type System for Lua
563 stars 53 forks source link

Numeric escapes in strings get double backslashes #112

Open Zash opened 7 years ago

Zash commented 7 years ago

A string like

local x = "hello\0\1\2world\n\10"

turns into

local x = "hello\\0\\1\\2world\n\\10"
Zash commented 7 years ago

The problem seems to be fix_str() in typedlua/tlcode.lua and/or typedlua/tllexer.lua.