Revert "Have provide: annotate the original identifier as well."

This reverts commit 3f889bcf8c.

Unfortunately, this change is not backwards compatible, as seen in
both DrDr failures and errors reported by Ben Greenman.
This commit is contained in:
Sam Tobin-Hochstadt 2016-05-03 10:41:50 -04:00
parent 2763ecd0c5
commit 743be67d67

View File

@ -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)