From 1f647b2e50e7d44c7e2e97a66f13eee8c8f7c070 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 20 Jul 2011 15:22:40 -0400 Subject: [PATCH] Remove stale comment. original commit: fe5804884441d359a0d1217233f13e1cac87c453 --- collects/typed-scheme/typecheck/tc-app-helper.rkt | 2 -- 1 file changed, 2 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-app-helper.rkt b/collects/typed-scheme/typecheck/tc-app-helper.rkt index 43d0214f..63ac0f5f 100644 --- a/collects/typed-scheme/typecheck/tc-app-helper.rkt +++ b/collects/typed-scheme/typecheck/tc-app-helper.rkt @@ -199,8 +199,6 @@ t])]) (subtype rng expected-ty))]))) - ;; original info that the error message would have used - ;; kept in case we discard all the cases (define orig (map list doms rngs rests drests)) ;; iterate in lock step over the function types we analyze and the parts