From 561d89f0aff26c4171776ae4ed38127e51a349d5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 28 Apr 2011 18:23:00 -0400 Subject: [PATCH] Remove uneccesary provides. --- collects/typed-scheme/private/prims.rkt | 2 +- collects/typed/racket/base.rkt | 18 +++++++++--------- collects/typed/scheme/base.rkt | 18 +++++++++--------- 3 files changed, 19 insertions(+), 19 deletions(-) diff --git a/collects/typed-scheme/private/prims.rkt b/collects/typed-scheme/private/prims.rkt index 50efd86404..255c576111 100644 --- a/collects/typed-scheme/private/prims.rkt +++ b/collects/typed-scheme/private/prims.rkt @@ -19,7 +19,7 @@ This file defines two sorts of primitives. All of them are provided into any mod |# -(provide (all-defined-out) +(provide (except-out (all-defined-out) dtsi* let-internal: define-for-variants define-for*-variants) : (rename-out [define-typed-struct define-struct:] [lambda: λ:] diff --git a/collects/typed/racket/base.rkt b/collects/typed/racket/base.rkt index 65d5432443..64952f4ac7 100644 --- a/collects/typed/racket/base.rkt +++ b/collects/typed/racket/base.rkt @@ -1,18 +1,18 @@ #lang s-exp typed-scheme/minimal +(providing (libs (except racket/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct for for*)) + (basics #%module-begin #%top-interaction lambda #%app)) - -(providing (libs (except racket/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct for for*) - (except typed-scheme/private/prims) - (except typed-scheme/private/base-types) - (except typed-scheme/private/base-types-extra)) - (basics #%module-begin - #%top-interaction - lambda - #%app)) (require typed-scheme/private/extra-procs + typed-scheme/private/prims + typed-scheme/private/base-types + typed-scheme/private/base-types-extra (for-syntax typed-scheme/private/base-types-extra)) (provide (rename-out [with-handlers: with-handlers] [define-type-alias define-type]) + (except-out (all-from-out typed-scheme/private/prims) + with-handlers: for/annotation for*/annotation) + (all-from-out typed-scheme/private/base-types) + (all-from-out typed-scheme/private/base-types-extra) assert defined? with-type for for* (for-syntax (all-from-out typed-scheme/private/base-types-extra))) diff --git a/collects/typed/scheme/base.rkt b/collects/typed/scheme/base.rkt index 4c184c2146..302f1c162c 100644 --- a/collects/typed/scheme/base.rkt +++ b/collects/typed/scheme/base.rkt @@ -1,18 +1,18 @@ #lang s-exp typed-scheme/minimal +(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct for for*)) + (basics #%module-begin #%top-interaction lambda #%app)) - -(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct for for*) - (except typed-scheme/private/prims) - (except typed-scheme/private/base-types) - (except typed-scheme/private/base-types-extra)) - (basics #%module-begin - #%top-interaction - lambda - #%app)) (require typed-scheme/private/extra-procs + typed-scheme/private/prims + typed-scheme/private/base-types + typed-scheme/private/base-types-extra (for-syntax typed-scheme/private/base-types-extra)) (provide (rename-out [with-handlers: with-handlers] [define-type-alias define-type]) + (except-out (all-from-out typed-scheme/private/prims) + with-handlers: for/annotation for*/annotation) + (all-from-out typed-scheme/private/base-types) + (all-from-out typed-scheme/private/base-types-extra) assert defined? with-type for for* (for-syntax (all-from-out typed-scheme/private/base-types-extra)))