www

commit de31adc4f0022ff58aa5b831b7398e8c3e60b0e9
parent 215036e059db349d91d54468dcd2c0ef4937236c
Author: Georges Dupéron <jahvascriptmaniac+github@gmail.com>
Date:   Thu,  4 Apr 2019 18:47:15 +0200

Merge pull request #12 from AlexKnauth/patch-1

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 …)))