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

fix up contract test suites

Browse Source 
original commit: 8afeed8c663242159ac08ac043ccf860779ddd91
This commit is contained in:
Robby Findler 2011-04-16 07:55:49 -05:00
parent e9a9f4e656
commit fb93091a62
2 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mzlib/contract.rkt
View File

@ -72,9 +72,3 @@
(all-from-out racket/contract/private/prop (all-from-out racket/contract/private/prop
racket/contract/private/blame)) 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))))

2
collects/mzlib/private/contract-struct.rkt
View File

@ -66,7 +66,7 @@
... ...
[ctc-name-x (contract-name ctc-x)] [ctc-name-x (contract-name ctc-x)]
...) ...)
(build-flat-contract (flat-named-contract
(build-compound-type-name 'struct/c 'struct-name ctc-x ...) (build-compound-type-name 'struct/c 'struct-name ctc-x ...)
(λ (val) (λ (val)
(and (predicate-id val) (and (predicate-id val)