git.iko.soy/elk
on master help sign in
Add note about INVARIANT of Json.String
ab420bcEvan Czaplicki
compiler/src/Json/String.hs+4−1
compare with master
unifiedsplit
@@ -35,8 +35,11 @@ import qualified Parse.Primitives as P
35-- JSON STRINGS
35-- JSON STRINGS
36
36
37
37
38+-- INVARIANT: any Json.String is appropriately escaped already
39+-- TODO: is this the right representation for Json.String? Maybe ByteString instead?
40+--
38type String =
41type String =
39− Utf8.Utf8 JSON_STRING -- TODO is this the right representation? Maybe ByteString instead?
42+ Utf8.Utf8 JSON_STRING
40
43
41
44
42data JSON_STRING
45data JSON_STRING