remove some mzlib/contract exports that were unintentional,
copied from racket/contract because racket/contract/combinator had some (provide (except-out (all-from-out <private-file>) ...)) that ended up accumulating things it shouldn't have over the years
This commit is contained in:
parent
f9f77329a7
commit
f6e58fc7c7
|
@ -131,10 +131,6 @@
|
||||||
:contract-first-order
|
:contract-first-order
|
||||||
:contract-first-order-passes?
|
:contract-first-order-passes?
|
||||||
:contract-stronger?
|
:contract-stronger?
|
||||||
:eq-contract-val
|
|
||||||
:eq-contract?
|
|
||||||
:equal-contract-val
|
|
||||||
:equal-contract?
|
|
||||||
:has-contract?
|
:has-contract?
|
||||||
:impersonator-prop:contracted
|
:impersonator-prop:contracted
|
||||||
:prop:contracted
|
:prop:contracted
|
||||||
|
@ -167,8 +163,6 @@
|
||||||
:build-flat-contract-property
|
:build-flat-contract-property
|
||||||
:chaperone-contract-property?
|
:chaperone-contract-property?
|
||||||
:contract-property?
|
:contract-property?
|
||||||
:contract-struct-exercise
|
|
||||||
:contract-struct-generate
|
|
||||||
:flat-contract-property?
|
:flat-contract-property?
|
||||||
:make-chaperone-contract
|
:make-chaperone-contract
|
||||||
:make-contract
|
:make-contract
|
||||||
|
@ -192,15 +186,16 @@
|
||||||
|
|
||||||
(require racket/contract/combinator)
|
(require racket/contract/combinator)
|
||||||
;; exports from racket/contract/combinator as of 5.3.5
|
;; exports from racket/contract/combinator as of 5.3.5
|
||||||
(provide blame-add-unknown-context blame-context blame-contract blame-fmt->-string blame-negative
|
;; except some cleanup that tried to happen in late 2015
|
||||||
|
(provide blame-add-unknown-context blame-context blame-contract blame-negative
|
||||||
blame-original? blame-positive blame-replace-negative blame-source blame-swap blame-swapped?
|
blame-original? blame-positive blame-replace-negative blame-source blame-swap blame-swapped?
|
||||||
blame-update blame-value blame? build-chaperone-contract-property build-compound-type-name
|
blame-update blame-value blame? build-chaperone-contract-property build-compound-type-name
|
||||||
build-contract-property build-flat-contract-property chaperone-contract-property?
|
build-contract-property build-flat-contract-property chaperone-contract-property?
|
||||||
coerce-chaperone-contract coerce-chaperone-contracts coerce-contract coerce-contract/f
|
coerce-chaperone-contract coerce-chaperone-contracts coerce-contract coerce-contract/f
|
||||||
coerce-contracts coerce-flat-contract coerce-flat-contracts contract-first-order
|
coerce-contracts coerce-flat-contract coerce-flat-contracts contract-first-order
|
||||||
contract-first-order-passes? contract-property? contract-stronger? contract-struct-exercise
|
contract-first-order-passes? contract-property? contract-stronger?
|
||||||
contract-struct-generate current-blame-format eq-contract-val eq-contract? equal-contract-val
|
current-blame-format
|
||||||
equal-contract? exn:fail:contract:blame-object exn:fail:contract:blame?
|
exn:fail:contract:blame-object exn:fail:contract:blame?
|
||||||
flat-contract-property? impersonator-prop:contracted make-chaperone-contract make-contract
|
flat-contract-property? impersonator-prop:contracted make-chaperone-contract make-contract
|
||||||
make-exn:fail:contract:blame make-flat-contract prop:chaperone-contract prop:contract
|
make-exn:fail:contract:blame make-flat-contract prop:chaperone-contract prop:contract
|
||||||
prop:contracted prop:flat-contract prop:opt-chaperone-contract
|
prop:contracted prop:flat-contract prop:opt-chaperone-contract
|
||||||
|
|
Loading…
Reference in New Issue
Block a user