From 00f9e6342f481dae77e8161f1a71ecc0e39a55b4 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 21 Jun 2011 15:17:40 -0400 Subject: [PATCH] Avoid providing renamed identifiers. --- collects/typed-scheme/minimal.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/minimal.rkt b/collects/typed-scheme/minimal.rkt index 7d7d28a56a..b3a9ef68bc 100644 --- a/collects/typed-scheme/minimal.rkt +++ b/collects/typed-scheme/minimal.rkt @@ -24,5 +24,5 @@ (require (only-in spec id ...) ...) (provide id ...) ... (provide (rename-out [b* b] ...)) - (provide (all-from-out ts)) + (provide (except-out (all-from-out ts) b* ...)) (provide (all-from-out lb) ...))))))]))