begin file with parseTrivia

HigherOrderCO · Oct 20, 2024 · b4bfe7e · b4bfe7e
1 parent f61009c
commit b4bfe7e
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
@@ -81,6 +81,7 @@ doParseUses filename input =
 doParseBook :: String -> String -> IO Book
 doParseBook filename input = do
   let parser = do
+        parseTrivia
         uses <- parseUses
         setState (filename, uses)
         parseBook <* P.eof
@@ -413,18 +414,18 @@ parseTxtChr = P.choice
   , noneOf "\"\\"
   ]
 
-parseChr = withSrc $ do
-  char '\''
-  chr <- parseTxtChr
-  char '\''
-  return $ Num (fromIntegral $ ord chr)
-
 parseTxt = withSrc $ do
   char '"'
   txt <- P.many parseTxtChr
   char '"'
   return $ Txt txt
 
+parseChr = withSrc $ do
+  char '\''
+  chr <- parseTxtChr
+  char '\''
+  return $ Num (fromIntegral $ ord chr)
+
 parseHol = withSrc $ do
   char '?'
   nam <- parseName