From 32eacbc3b7d488dc5d9b305c87ce4b3c896428f7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 18 Apr 2011 20:52:33 -0400 Subject: [PATCH] Fix typo. original commit: 7ba2b6e100a9075779bdbdc0a540c8b3044587a5 --- collects/typed-scheme/types/subtype.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/types/subtype.rkt b/collects/typed-scheme/types/subtype.rkt index 4757dfa8..c182d875 100644 --- a/collects/typed-scheme/types/subtype.rkt +++ b/collects/typed-scheme/types/subtype.rkt @@ -294,7 +294,7 @@ [(s (Poly: vs b)) (=> unmatch) (if (null? (fv b)) (subtype* A0 s b) (unmatch))] - ;; rec types, applications and names (that aren't the same + ;; rec types, applications and names (that aren't the same) [((? needs-resolving? s) other) (let ([s* (resolve-once s)]) (if (Type? s*) ;; needed in case this was a name that hasn't been resolved yet