From 5302b3e87c01be9c11e5f2098c90615bf5c883bc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 9 Sep 2010 14:11:58 -0400 Subject: [PATCH] Remove requires for environments now handled dynamically. --- collects/typed/racket/base.rkt | 6 +----- collects/typed/scheme/base.rkt | 6 +----- 2 files changed, 2 insertions(+), 10 deletions(-) diff --git a/collects/typed/racket/base.rkt b/collects/typed/racket/base.rkt index a98b88cd2e..9d0942a2ae 100644 --- a/collects/typed/racket/base.rkt +++ b/collects/typed/racket/base.rkt @@ -10,11 +10,7 @@ #%top-interaction lambda #%app)) -(require typed-scheme/private/base-env - typed-scheme/private/base-special-env - typed-scheme/private/base-env-numeric - typed-scheme/private/base-env-indexing - typed-scheme/private/extra-procs +(require typed-scheme/private/extra-procs (for-syntax typed-scheme/private/base-types-extra)) (provide (rename-out [with-handlers: with-handlers] [define-type-alias define-type]) diff --git a/collects/typed/scheme/base.rkt b/collects/typed/scheme/base.rkt index 20d6f35627..abbf0ebff3 100644 --- a/collects/typed/scheme/base.rkt +++ b/collects/typed/scheme/base.rkt @@ -10,11 +10,7 @@ #%top-interaction lambda #%app)) -(require typed-scheme/private/base-env - typed-scheme/private/base-special-env - typed-scheme/private/base-env-numeric - typed-scheme/private/base-env-indexing - typed-scheme/private/extra-procs +(require typed-scheme/private/extra-procs (for-syntax typed-scheme/private/base-types-extra)) (provide (rename-out [with-handlers: with-handlers] [define-type-alias define-type])