From 13614ae5c2a44c4046857387abfbbf30fd24f509 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 9 Feb 2015 16:39:05 -0500 Subject: [PATCH] Always use `rename-out` in generated `provide`s. Since rename-transformers can generate free-id=? names, we could end up providing two things with the same name. Fixes PR 14972. --- typed-racket-lib/typed-racket/typecheck/provide-handling.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/typed-racket-lib/typed-racket/typecheck/provide-handling.rkt b/typed-racket-lib/typed-racket/typecheck/provide-handling.rkt index 58701704..25c6675e 100644 --- a/typed-racket-lib/typed-racket/typecheck/provide-handling.rkt +++ b/typed-racket-lib/typed-racket/typecheck/provide-handling.rkt @@ -185,9 +185,7 @@ (define-values (defs export-def id alias) (mk internal-id)) (define provide-forms (for/list ([external-id (in-list external-ids)]) - (if (free-identifier=? id external-id) - id - #`(rename-out [#,id #,external-id])))) + #`(rename-out [#,id #,external-id]))) (values #`(begin #,defs) export-def #`(provide #,@provide-forms)