Fixing JS encoding of " and \
Thanks @michaelficarra
commitc537151a01b488dd1dcf0402539d1305ed8f36af
authorGary Burgess <gary.burgess@gmail.com>
dateThu 27 Mar 2014, 21:56 (13 years ago)
parent9adb694
src/Language/PureScript/Pretty/JS.hs+2
@@ -142,6 +142,8 @@ literals = mkPattern' match
142142 match _ = mzero
143143
144144 encodeChar :: Char -> String
145+ encodeChar '"' = "\\\""
146+ encodeChar '\\' = "\\\\"
145147 encodeChar '\r' = "\\r"
146148 encodeChar '\n' = "\\n"
147149 encodeChar c | fromEnum c > 0xFFF = "\\u" ++ showHex (fromEnum c) ""