fix do parser confusion with vars

HigherOrderCO · Oct 18, 2024 · 565bfa7 · 565bfa7
1 parent 348e3ca
commit 565bfa7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
@@ -650,7 +650,7 @@ expandUses uses name =
 
 parseDo :: Parser Term
 parseDo = withSrc $ do
-  string "do "
+  P.try $ string "do "
   name <- parseName
   char '{'
   parseTrivia