suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

We want to cover the marked version of the identifier (which has the proper

Browse Source 
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
This commit is contained in:
Stevie Strickland 2009-01-15 09:11:50 +00:00
parent ea3879fd8f
commit 8b5b007a51
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/scheme/private/contract.ss
View File

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