From 743be67d674801dd3ae3befccc281ebdeed68d56 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 3 May 2016 10:41:50 -0400 Subject: [PATCH] Revert "Have `provide:` annotate the original identifier as well." This reverts commit 3f889bcf8c863763c0fe7e9a3be220fa79b6a7ac. Unfortunately, this change is not backwards compatible, as seen in both DrDr failures and errors reported by Ben Greenman. --- typed-racket-lib/typed-racket/base-env/prims.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt index cf411aba..0a005314 100644 --- a/typed-racket-lib/typed-racket/base-env/prims.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims.rkt @@ -637,7 +637,6 @@ the typed racket language. (define/with-syntax (i* ...) i*s) (syntax/loc stx (begin (: i* t) ... - (: i t) ... (provide (rename-out [i* i] ...))))])) (define-syntax (declare-refinement stx)