From 6482fb004948cf1dec17443df2dd83e112e33364 Mon Sep 17 00:00:00 2001
From: Alex Knauth <alexander@knauth.org>
Date: Wed, 3 Apr 2019 16:03:48 -0400
Subject: [PATCH] =?UTF-8?q?check=20tvars=20are=20ids=20before=20using=20fr?=
 =?UTF-8?q?ee-identifier=3D=3F?=

---
 type-expander.hl.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/type-expander.hl.rkt b/type-expander.hl.rkt
index 44d371e..94407a6 100644
--- a/type-expander.hl.rkt
+++ b/type-expander.hl.rkt
@@ -1387,7 +1387,7 @@ definitions.
 @chunk[<define-type>
        (define-syntax new-define-type
          (syntax-parser
-           [(_ (~or name:id (name:id maybe-tvar …)) . whole-rest)
+           [(_ (~or name:id (name:id maybe-tvar:id …)) . whole-rest)
             #:with (tvar …) (if (attribute maybe-tvar) #'(maybe-tvar …) #'())
             #:with (tvar-not-ooo …) (filter (λ (tv) (not (free-identifier=? tv #'(… …))))
                                             (syntax->list #'(tvar …)))
-- 
2.34.1