parse programs (with type sigs :D)

2023-12-20 14:49:40 -07:00
parent 5c9bf40e40
commit 07be32c618
1 changed files with 1 additions and 1 deletions
--- 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 }