From 07be32c618682853d3cb37a0233e1301f0260be4 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Wed, 20 Dec 2023 14:49:40 -0700
Subject: [PATCH] parse programs (with type sigs :D)

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

diff --git a/src/Core/Parse.y b/src/Core/Parse.y
index 111fe59..da8878b 100644
--- a/src/Core/Parse.y
+++ b/src/Core/Parse.y
@@ -102,7 +102,7 @@ Type            : Type1                         { $1 }
 Type1           :: { Type }
 Type1           : '(' Type ')'                  { $2 }
                 | Type1 '->' Type               { $1 :-> $3 }
-                -- do we want to use Var instead, permitting symbolic type vars?
+                -- do we want to allow symbolic names for tyvars and tycons?
                 | varname                       { TyVar $1 }
                 | conname                       { TyCon $1 }