Have provide: annotate the original identifier as well.

Fixes PR 15292.
2016-04-20 13:26:29 -04:00 · 2016-04-20 13:26:29 -04:00 · 3f889bcf8c
commit 3f889bcf8c
parent af385d6932
1 changed files with 1 additions and 0 deletions
--- 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)