svn: r15364
This commit is contained in:
parent
482816bf34
commit
8fbc4f86aa
|
@ -2064,7 +2064,7 @@ improve method arity mismatch contract violation error messages?
|
|||
(if (flat-contract? ctc)
|
||||
(let ([content-pred? (flat-contract-predicate ctc)])
|
||||
(build-flat-contract
|
||||
`(type-name ,(contract-name ctc))
|
||||
`(name ,(contract-name ctc))
|
||||
(lambda (x) (and (predicate? x) (testmap content-pred? x)))))
|
||||
(let ([proj (contract-proc ctc)])
|
||||
(make-proj-contract
|
||||
|
|
Loading…
Reference in New Issue
Block a user