suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

give the binding that is introduced to be renamed on provide a source

Browse Source 
location so it can be the target of jumps from other files

related to #3733
This commit is contained in:
Robby Findler 2021-03-17 19:54:37 -05:00
parent 2180ae15de
commit 274e4b95b1
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
racket/collects/racket/contract/private/provide.rkt
View File

@ -293,7 +293,11 @@
mangle-for-maker?
provide?)
(define ex-id (or reflect-id id))
(define id-rename (id-for-one-id user-rename-id reflect-id id mangle-for-maker?))
(define id-rename-without-source (id-for-one-id user-rename-id reflect-id id mangle-for-maker?))
(define id-rename (datum->syntax id-rename-without-source
(syntax-e id-rename-without-source)
ex-id
id-rename-without-source))
(with-syntax ([ctrct (syntax-property
(syntax-property
ctrct/no-prop