This seems to be how you make it happen outside of DrRacket: $ racket -l errortrace -t namespace-mismatch.rkt namespace-mismatch.rkt:11:9: require: namespace mismatch; reference to a module that is not available reference phase: 1 referenced module: 'expanded module referenced phase level: 1 in: do-something-at-phase-1 errortrace...: context...: standard-module-name-resolver
On Thu, Feb 1, 2018 at 4:49 PM, Leif Andersen <[email protected]> wrote: > FWIW, I've managed to shrink the example down even more. Now you only > need module*, and expose, and two begin-for-syntax blocks after that. > > ~Leif Andersen > > > On Thu, Feb 1, 2018 at 5:33 PM, 'William J. Bowman' via Racket > Developers <[email protected]> wrote: >> I've encountered a weird bug in DrRacket (I think). >> I've reproduced the bug in 6.10.1.2 and git HEAD >> (02f61622838ff28d447a76c344fe9e117ab5a306). >> >> Attached are two files that differ only in the order of two definitions. >> One produces a namespace mismatch error in DrRacket, the other does not. >> Neither produces an error when running the files in any other way, such as >> in the emacs mode or on the >> commandline. >> >> The key ingredients appear to be: >> 1. Use require/expose from rackunit-lib >> 2. Define a macro that uses a phase-1 identifier >> 3. Define the phase-1 identifiers *after* defining the macro >> >> -- >> William J. Bowman >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-dev/20180201223310.GO14189%40williamjbowman.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAAVaeEDqkD171R_%2B-XSPb%2BmVaiWRMyjyN3cq0CitVvxYysnESA%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAL3TdOMC-qZQjTqKArtKEa573-tGcOmXBSJE7gcxGF3dSXo4bQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
