From 8b5b007a512f189d47cb18257a7fcbf0af3b27ea Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Thu, 15 Jan 2009 09:11:50 +0000 Subject: [PATCH] We want to cover the marked version of the identifier (which has the proper value), not the "regular" version that's now a transformer to a contracted version of the marked identifier (and thus double-contracting here). svn: r13145 --- collects/scheme/private/contract.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scheme/private/contract.ss b/collects/scheme/private/contract.ss index 36fb29b5e8..6970090e55 100644 --- a/collects/scheme/private/contract.ss +++ b/collects/scheme/private/contract.ss @@ -278,7 +278,7 @@ improve method arity mismatch contract violation error messages? (define-values () (begin #,@(map (λ (p c) - #`(-contract #,(marker c) #,p blame-stx 'ignored #,(id->contract-src-info p))) + #`(-contract #,(marker c) #,(marker p) blame-stx 'ignored #,(id->contract-src-info p))) protected-ids contracts) (values))) )))))]