add escaping of backslashes in Json.Encode.chars
commit8b9ac1921ca953aa42e8b6af5fb76fe95fe36fda
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 15 Jul 2019, 12:08 (7 years ago)
parent8eb44cb
compiler/src/Json/Encode.hs+1
@@ -120,6 +120,7 @@ escape chrs =
120120 | c == '\n' -> '\\' : 'n' : escape cs
121121 | c == '\"' -> '\\' : '"' : escape cs
122122 | c == '\'' -> '\\' : '\'' : escape cs
123+ | c == '\\' -> '\\' : '\\' : escape cs
123124 | otherwise -> c : escape cs
124125
125126