changeset 56:a9bf3ffb6379

Fix escape for backslash
author Mike Pavone <pavone@retrodev.com>
date Fri, 13 Jul 2012 21:28:37 -0700
parents 93ddb4ad6fcb
children 08ae75d90dc2
files parser.js
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/parser.js	Fri Jul 13 21:05:52 2012 -0700
+++ b/parser.js	Fri Jul 13 21:28:37 2012 -0700
@@ -85,7 +85,7 @@
 'int = digits:[0-9]+ { return new intlit(parseInt(digits.join(""), 10)); };' +
 'string = "\\"" text:(strpart/escape)* "\\"" { return new strlit(text.join("")); };' +
 'strpart = text:[^\\"\\\\]+ { return text.join(""); };' + 
-'escape = "\\\\" char:[nt\\"r] { if (char == "n") { return "\\n"; } if (char == "r") { return "\\r"; } return char; };' +
+'escape = "\\\\" char:[nt\\"r\\\\] { if (char == "n") { return "\\n"; } if (char == "r") { return "\\r"; } return char; };' +
 'object = "#{" ws messages:(assignment / funcall)* "}" { return new object(messages); };' +
 'array = "#[" ws els:opexpr* "]" { return new arraylit(els); };' +
 'list = "[" ws els:opexpr* "]" { return new listlit(els); };' +