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

Undo local-require change from 7afeada73d

Browse Source 
Recent changes to contract generation have made this
`local-require` unnecessary. Using `require` is preferable
since `local-require` can interact poorly with submodules.
This commit is contained in:
Asumu Takikawa 2015-01-12 22:28:21 -05:00
parent 8c5c032520
commit 2c0d4b8aec
1 changed files with 10 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
typed-racket-lib/typed-racket/utils/require-contract.rkt
View File

@ -47,22 +47,18 @@
(syntax-parse stx
[(require/contract nm:renameable hidden:id cnt lib)
#`(begin (define-syntax nm.nm
#`(begin (require (only-in lib [nm.orig-nm nm.orig-nm-r]))
(define-syntax nm.nm
(make-rename-transformer
(syntax-property (syntax-property (quote-syntax hidden)
'not-free-identifier=? #t)
'not-provide-all-defined #t)))
(define-ignored hidden
(let ()
;; Use `local-require` in order to use this internal
;; definition context instead of defining at the top-level.
;; This avoids top-level hopelessness to do with
;; `local-expand` and definitions.
(local-require (only-in lib [nm.orig-nm nm.orig-nm-r]))
(contract cnt
(get-alternate nm.orig-nm-r)
'(interface for #,(syntax->datum #'nm.nm))
(current-contract-region)
(quote nm.nm)
(quote-srcloc nm.nm)))))]))
(define-ignored hidden
(contract cnt
(get-alternate nm.orig-nm-r)
'(interface for #,(syntax->datum #'nm.nm))
(current-contract-region)
(quote nm.nm)
(quote-srcloc nm.nm))))]))