From fb93091a6262584a71031214fb2acf89b1f1e7b9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 16 Apr 2011 07:55:49 -0500 Subject: [PATCH] fix up contract test suites original commit: 8afeed8c663242159ac08ac043ccf860779ddd91 --- collects/mzlib/contract.rkt | 6 ------ collects/mzlib/private/contract-struct.rkt | 2 +- 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/collects/mzlib/contract.rkt b/collects/mzlib/contract.rkt index 5159f6c..de5df8c 100644 --- a/collects/mzlib/contract.rkt +++ b/collects/mzlib/contract.rkt @@ -72,9 +72,3 @@ (all-from-out racket/contract/private/prop racket/contract/private/blame)) - -;; copied here because not provided by racket/contract anymore -(define (flat-contract/predicate? pred) - (or (flat-contract? pred) - (and (procedure? pred) - (procedure-arity-includes? pred 1)))) diff --git a/collects/mzlib/private/contract-struct.rkt b/collects/mzlib/private/contract-struct.rkt index 733a148..55d5d03 100644 --- a/collects/mzlib/private/contract-struct.rkt +++ b/collects/mzlib/private/contract-struct.rkt @@ -66,7 +66,7 @@ ... [ctc-name-x (contract-name ctc-x)] ...) - (build-flat-contract + (flat-named-contract (build-compound-type-name 'struct/c 'struct-name ctc-x ...) (λ (val) (and (predicate-id val)