fix up contract test suites
This commit is contained in:
parent
cc091bd25c
commit
8afeed8c66
|
@ -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))))
|
||||
|
|
|
@ -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)
|
||||
|
|
|
@ -3,6 +3,7 @@
|
|||
"opt.rkt"
|
||||
"guts.rkt"
|
||||
"arrow.rkt"
|
||||
"blame.rkt"
|
||||
(for-syntax racket/base
|
||||
syntax/stx
|
||||
"opt-guts.rkt"))
|
||||
|
|
Loading…
Reference in New Issue
Block a user