From 9d81fc25938405f48515e5f24eb39511855acc7c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 11 Nov 2011 14:15:45 -0500 Subject: [PATCH] Fix missing argument. Closes PR 12356. original commit: 5fe89966fcd7887223d8131e42f4b151de46d799 --- collects/typed-racket/infer/infer-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/infer/infer-unit.rkt b/collects/typed-racket/infer/infer-unit.rkt index 6ef67fbe..c54a26c3 100644 --- a/collects/typed-racket/infer/infer-unit.rkt +++ b/collects/typed-racket/infer/infer-unit.rkt @@ -391,7 +391,7 @@ [((Name: n) (Name: n*)) (if (free-identifier=? n n*) null - (let ((rn (resolve-once S)) (rn* (resolve-once))) + (let ((rn (resolve-once S)) (rn* (resolve-once T))) (if (and rn rn*) (cg rn rn*) (fail! S T))))] ;; pairs are pointwise [((Pair: a b) (Pair: a* b*))