From 565bfa714677ecf4c97c30b330516403ac694325 Mon Sep 17 00:00:00 2001
From: Victor Taelin <victor.taelin@gmail.com>
Date: Fri, 18 Oct 2024 11:29:42 -0300
Subject: [PATCH] fix do parser confusion with vars

---
 src/Kind/Parse.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
index a09d6fa1f..4f1253949 100644
--- 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