From 09a0109605eda7f61b64333789a441bfe2651f46 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 1 Apr 2011 09:34:10 -0500 Subject: [PATCH] adjusted racket/contract/base to include fewer parts of the contract system --- collects/racket/contract.rkt | 12 ++++++++++-- collects/racket/contract/base.rkt | 8 -------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/collects/racket/contract.rkt b/collects/racket/contract.rkt index 35ff046a4c..1a7408ccbc 100644 --- a/collects/racket/contract.rkt +++ b/collects/racket/contract.rkt @@ -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)) diff --git a/collects/racket/contract/base.rkt b/collects/racket/contract/base.rkt index 150d5d6fdf..8d286a2047 100644 --- a/collects/racket/contract/base.rkt +++ b/collects/racket/contract/base.rkt @@ -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)