From 45606c4539431409aa23365cd1393c5d678a4b71 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 22 Jul 2012 21:40:31 -0500 Subject: [PATCH] fix `syntax-local-get-shadower' for submodules Closes PR 12926, 12928 Merge to v5.3 original commit: a0ba30d8e7c16fbd572856ea950e82d98ccca4be --- collects/tests/racket/unitsig.rktl | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/collects/tests/racket/unitsig.rktl b/collects/tests/racket/unitsig.rktl index f47f015..9b38ca1 100644 --- a/collects/tests/racket/unitsig.rktl +++ b/collects/tests/racket/unitsig.rktl @@ -714,6 +714,27 @@ (list (signature->symbols s^)) (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)