allow parsing ctor fields

HigherOrderCO · Sep 26, 2024 · 140255e · 140255e
1 parent 174e027
commit 140255e
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
@@ -213,10 +213,19 @@ parseCon = withSrc $ do
   nam <- parseName
   parseTrivia
   P.char '{'
-  arg <- P.many $ P.try $ parseTerm
-  parseTrivia
+  args <- P.many $ P.try $ do
+    parseTrivia
+    fieldName <- P.optionMaybe $ do
+      name <- parseName
+      parseTrivia
+      P.char ':'
+      parseTrivia
+      return name
+    arg <- parseTerm
+    parseTrivia
+    return arg
   P.char '}'
-  return $ Con nam arg
+  return $ Con nam args
 
 parseSwi = withSrc $ do
   P.try $ do