-
-
Notifications
You must be signed in to change notification settings - Fork 16
Open
Description
$ cat test/a.rkt
(module a '#%kernel
(#%provide g)
(define-values (g) 5))
$ cat test/b.rkt
(module b '#%kernel
(#%require (for-syntax '#%kernel "a.rkt"))
(#%provide m)
(define-syntaxes (m)
(lambda (stx)
(quote-syntax list))))
$ cat test/c.rkt
(module c '#%kernel
(#%require "b.rkt")
(m))
$ /Applications/Racket\ v8.5/bin/drracket test/c.rkt
Launch the macro stepper, click "End >>|", and then click on the identifier "list" in the final expansion. The error occurs:
namespace mismatch: bulk bindings not found in registry for module: #<resolved-module-path:"/Users/michaelballantyne/a.rkt">
context...:
/Applications/Racket v8.5/share/pkgs/macro-debugger/macro-debugger/syntax-browser/properties.rkt:169:4: display-bindings method in properties-displayer%
/Applications/Racket v8.5/share/pkgs/macro-debugger/macro-debugger/syntax-browser/properties.rkt:145:4: display-meaning-info method in properties-displayer%
/Applications/Racket v8.5/share/pkgs/macro-debugger/macro-debugger/syntax-browser/properties.rkt:138:4: display-info method in properties-displayer%
/Applications/Racket v8.5/share/pkgs/macro-debugger/macro-debugger/syntax-browser/properties.rkt:55:4: refresh method in properties-view-base-mixin
/Applications/Racket v8.5/share/pkgs/gui-lib/framework/private/notify.rkt:61:4: set method in notify-box%
/Applications/Racket v8.5/share/pkgs/macro-debugger/macro-debugger/syntax-browser/text.rkt:388:4: on-default-event method in text:clickregion-mixin
/Applications/Racket v8.5/share/pkgs/gui-lib/mred/private/wxme/editor-canvas.rkt:412:2: on-event method in editor-canvas%
/Applications/Racket v8.5/collects/racket/private/more-scheme.rkt:148:2: call-with-break-parameterization
/Applications/Racket v8.5/collects/ffi/unsafe/atomic.rkt:73:13
/Applications/Racket v8.5/share/pkgs/gui-lib/mred/private/wx/cocoa/window.rkt:900:4: dispatch-on-event method in window%
/Applications/Racket v8.5/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:435:6
/Applications/Racket v8.5/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:486:32
/Applications/Racket v8.5/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:634:3
Note that the resolved path indicated in the error is incorrect: "a.rkt" should be found at "/Users/michaelballantyne/test/a.rkt", not "/Users/michaelballantyne/a.rkt".
The problem does not occur if DrRacket is launched from the "test" directory.
Metadata
Metadata
Assignees
Labels
No labels