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
This commit is contained in:
Stevie Strickland 2009-02-21 19:03:49 +00:00
parent b2c6dd5b9e
commit 8a6804c525

View File

@ -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