From 8a6804c52552f8100d3cf17432ee3486f621f49e Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Sat, 21 Feb 2009 19:03:49 +0000 Subject: [PATCH] Need to use the srcinfo for the marked identifiers, not the unmarked ones. If this is wrong, then we need to do the first-order checks after creating the set! transformers. svn: r13781 --- 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 26b6ed81a7..7c631d9be0 100644 --- a/collects/scheme/private/contract.ss +++ b/collects/scheme/private/contract.ss @@ -569,7 +569,7 @@ improve method arity mismatch contract violation error messages? [(ctc ...) (map marker protections)] [(p ...) protected] [(marked-p ...) (map marker protected)] - [(src-info ...) (map id->contract-src-info protected)] + [(src-info ...) (map (compose id->contract-src-info marker) protected)] [(u ...) unprotected] [(marked-u ...) (map marker unprotected)]) (quasisyntax/loc stx