From 2b5e836b7467a5340c425ab796dedaf6acaf9a3d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 1 Jul 2009 14:02:55 +0000 Subject: [PATCH] fixed a bug mentioned on the mailing list svn: r15352 --- 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 0742f6ce98..b877f684b8 100644 --- a/collects/scheme/private/contract.ss +++ b/collects/scheme/private/contract.ss @@ -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 - `(listof ,(contract-name ctc)) + `(type-name ,(contract-name ctc)) (lambda (x) (and (predicate? x) (testmap content-pred? x))))) (let ([proj (contract-proc ctc)]) (make-proj-contract