Merge pull request #254 from draios/dont-trim-strings

Don't trim quoted strings
This commit is contained in:
Mark Stemm 2017-06-20 13:48:31 -07:00 committed by GitHub
commit 2991ea423a

View File

@ -130,7 +130,7 @@ end
local function terminal (tag)
-- Rather than trim the whitespace in this way, it would be nicer to exclude it from the capture...
return token(V(tag), tag) / function (tok) return { type = tag, value = trim(tok)} end
return token(V(tag), tag) / function (tok) val = tok; if tag ~= "String" then val = trim(tok) end; return { type = tag, value = val} end
end
local function unaryboolop (op, e)