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

adjusted racket/contract/base to include fewer parts of the contract system

Browse Source
This commit is contained in:
Robby Findler 2011-04-01 09:34:10 -05:00
parent 2893470f27
commit 09a0109605
2 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/racket/contract.rkt
View File

@ -4,9 +4,17 @@
racket/contract/regions
"contract/private/basic-opters.rkt"
"contract/base.rkt"
"contract/private/legacy.rkt"
"contract/private/ds.rkt"
"contract/private/opt.rkt"
"private/define-struct.rkt")
(provide (all-from-out "contract/base.rkt")
(except-out (all-from-out racket/contract/exists) ∀∃?)
(all-from-out racket/contract/regions))
(except-out (all-from-out racket/contract/exists) ∀∃?)
(all-from-out racket/contract/regions)
(all-from-out "contract/private/legacy.rkt")
opt/c define-opt/c ;(all-from-out "private/opt.rkt")
(except-out (all-from-out "contract/private/ds.rkt")
lazy-depth-to-look))

8
collects/racket/contract/base.rkt
View File

@ -13,17 +13,10 @@
"private/misc.rkt"
"private/provide.rkt"
"private/guts.rkt"
"private/legacy.rkt"
"private/ds.rkt"
"private/opt.rkt"
"private/blame.rkt"
"private/prop.rkt")
(provide
opt/c define-opt/c ;(all-from-out "private/opt.rkt")
(except-out (all-from-out "private/ds.rkt")
lazy-depth-to-look)
(except-out (all-from-out "private/arrow.rkt")
making-a-method
procedure-accepts-and-more?
@ -40,7 +33,6 @@
check-unary-between/c)
(all-from-out "private/provide.rkt")
(all-from-out "private/base.rkt")
(all-from-out "private/legacy.rkt")
(except-out (all-from-out "private/guts.rkt")
check-flat-contract
check-flat-named-contract)