www

commit 6482fb004948cf1dec17443df2dd83e112e33364
parent 215036e059db349d91d54468dcd2c0ef4937236c
Author: Alex Knauth <alexander@knauth.org>
Date:   Wed,  3 Apr 2019 16:03:48 -0400

check tvars are ids before using free-identifier=?
Diffstat:
M
type-expander.hl.rkt
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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 …)))