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

Propagated guts exports through scheme/contract/base and scheme/contract.

Browse Source 
svn: r17698
This commit is contained in:
Carl Eastlund 2010-01-17 06:18:13 +00:00
parent 7716e58f61
commit e408fd464b
2 changed files with 9 additions and 117 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

76
collects/scheme/contract.ss
View File

@ -9,80 +9,14 @@ differences from v3:
|#
(require "contract/private/arrow.ss"
"contract/private/base.ss"
scheme/contract/exists
"contract/private/misc.ss"
"contract/private/provide.ss"
(require scheme/contract/exists
scheme/contract/regions
"contract/private/guts.ss"
"contract/private/ds.ss"
"contract/private/opt.ss"
"contract/private/basic-opters.ss")
"contract/private/basic-opters.ss"
"contract/base.ss")
(provide
opt/c define-opt/c ;(all-from-out "contract/private/opt.ss")
(except-out (all-from-out "contract/private/ds.ss")
lazy-depth-to-look)
(except-out (all-from-out "contract/private/arrow.ss")
making-a-method
procedure-accepts-and-more?
check-procedure
check-procedure/more)
(provide (all-from-out "contract/base.ss")
(except-out (all-from-out scheme/contract/exists) ∃?)
(except-out (all-from-out "contract/private/misc.ss")
check-between/c
check-unary-between/c)
(all-from-out scheme/contract/regions)
(all-from-out "contract/private/provide.ss")
(all-from-out "contract/private/base.ss"))
;; from contract-guts.ss
(provide any
and/c
any/c
none/c
make-none/c
guilty-party
exn:fail:contract2?
exn:fail:contract2-srclocs
contract-violation->string
contract?
contract-name
contract-proc
flat-contract?
flat-contract
flat-contract-predicate
flat-named-contract
contract-first-order-passes?
;; below need docs
make-proj-contract
contract-stronger?
coerce-contract/f
coerce-contract
coerce-contracts
coerce-flat-contract
coerce-flat-contracts
build-compound-type-name
raise-contract-error
proj-prop proj-pred? proj-get
name-prop name-pred? name-get
stronger-prop stronger-pred? stronger-get
flat-prop flat-pred? flat-get
first-order-prop first-order-get)
(all-from-out scheme/contract/regions))
;; ======================================================================
;; The alternate implementation disables contracts. Its useful mainly to

50
collects/scheme/contract/base.ss
View File

@ -25,50 +25,8 @@
check-between/c
check-unary-between/c)
(all-from-out "private/provide.ss")
(all-from-out "private/base.ss"))
(all-from-out "private/base.ss")
(except-out (all-from-out "private/guts.ss")
check-flat-contract
check-flat-named-contract))
;; from private/guts.ss
(provide any
and/c
any/c
none/c
make-none/c
guilty-party
exn:fail:contract2?
exn:fail:contract2-srclocs
contract-violation->string
contract?
contract-name
contract-proc
flat-contract?
flat-contract
flat-contract-predicate
flat-named-contract
contract-first-order-passes?
;; below need docs
make-proj-contract
contract-stronger?
coerce-contract/f
coerce-contract
coerce-contracts
coerce-flat-contract
coerce-flat-contracts
build-compound-type-name
raise-contract-error
proj-prop proj-pred? proj-get
name-prop name-pred? name-get
stronger-prop stronger-pred? stronger-get
flat-prop flat-pred? flat-get
first-order-prop first-order-get)