allow parsing null chars as '\0'

HigherOrderCO · Oct 20, 2024 · 43512c5 · 43512c5
1 parent 0173609
commit 43512c5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
@@ -416,7 +416,7 @@ parseTxtChr :: Parser Char
 parseTxtChr = P.choice
   [ P.try $ do
       char_skp '\\'
-      c <- oneOf "\\\"nrtbf"
+      c <- oneOf "\\\"nrtbf0"
       return $ case c of
         '\\' -> '\\'
         '"'  -> '"'
@@ -425,6 +425,7 @@ parseTxtChr = P.choice
         't'  -> '\t'
         'b'  -> '\b'
         'f'  -> '\f'
+        '0'  -> '\0'
   , P.try $ do
       string_skp "\\u"
       code <- P.count 4 P.hexDigit