fix `syntax-local-get-shadower' for submodules
Closes PR 12926, 12928 Merge to v5.3 original commit: a0ba30d8e7c16fbd572856ea950e82d98ccca4be
This commit is contained in:
parent
97ff83ae1d
commit
45606c4539
|
@ -714,6 +714,27 @@
|
||||||
(list (signature->symbols s^))
|
(list (signature->symbols s^))
|
||||||
(list (list))))
|
(list (list))))
|
||||||
|
|
||||||
|
;; ----------------------------------------
|
||||||
|
;; In a submodule
|
||||||
|
|
||||||
|
(module unit-in-a-submodule racket/base
|
||||||
|
(require racket/unit)
|
||||||
|
|
||||||
|
(define-signature foo^ (f))
|
||||||
|
|
||||||
|
(module+ main
|
||||||
|
(define-unit foo@
|
||||||
|
(import)
|
||||||
|
(export foo^)
|
||||||
|
|
||||||
|
(define f (lambda (x) x)))
|
||||||
|
(define-values/invoke-unit/infer foo@)
|
||||||
|
|
||||||
|
(define out (f 50))
|
||||||
|
(provide out)))
|
||||||
|
|
||||||
|
(test 50 dynamic-require '(submod 'unit-in-a-submodule main) 'out)
|
||||||
|
|
||||||
;; --------------------------------------------------
|
;; --------------------------------------------------
|
||||||
|
|
||||||
(report-errs)
|
(report-errs)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user