From 75539d0ec38ec94e3db019c5bd23ac9b86704773 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 10 May 2019 10:27:30 -0400 Subject: [PATCH] fix ty-var bug --- racket/typed/core-types.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/racket/typed/core-types.rkt b/racket/typed/core-types.rkt index 4b17fdc..1ceb0b2 100644 --- a/racket/typed/core-types.rkt +++ b/racket/typed/core-types.rkt @@ -728,7 +728,7 @@ (free-identifier=? #'X #'Y)] [((~∀ (X:id ...) τ1) (~∀ (Y:id ...) τ2)) #:when (stx-length=? #'(X ...) #'(Y ...)) - #:with τ2-X/Y (substs #'(Y ...) #'(X ...) #'τ2) + #:with τ2-X/Y (substs #'(X ...) #'(Y ...) #'τ2) (<: #'τ1 #'τ2-X/Y)] [((~Base τ1:id) (~Base τ2:id)) (free-identifier=? #'τ1 #'τ2)]