From 3f889bcf8c863763c0fe7e9a3be220fa79b6a7ac Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 20 Apr 2016 13:26:29 -0400 Subject: [PATCH] Have `provide:` annotate the original identifier as well. Fixes PR 15292. --- typed-racket-lib/typed-racket/base-env/prims.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt index 0ac4028b..0d534213 100644 --- a/typed-racket-lib/typed-racket/base-env/prims.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims.rkt @@ -634,6 +634,7 @@ 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)