An even slightly smaller version is attached. On Thursday, February 1, 2018 at 6:23:36 PM UTC-5, Leif Andersen wrote: > > And one more time, after manually expanding what require/expose does, > it looks like its the dynamically adding a binding into the module's > namespace that is messing it up. Micheal Ballentyne points out that > this error does not occur in Racket 7, even when using errortrace. So > I'm not sure if this is a bug in Racket 6, or an intended behavior. > > ~Leif Andersen > > > On Thu, Feb 1, 2018 at 5:54 PM, Leif Andersen <[email protected] > <javascript:>> wrote: > > OH, also, I should mention that it only breaks when using errortrace. > > Running it without errortrace seems to work. > > > > ~Leif Andersen > > > > > > On Thu, Feb 1, 2018 at 5:49 PM, Leif Andersen <[email protected] > <javascript:>> 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] <javascript:>> 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] <javascript:>. > >>> To post to this group, send email to [email protected] > <javascript:>. > >>> 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/fbc1b9de-e34b-49d7-9686-e7aabb9a8fd4%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
namespace-mismatch.rkt
Description: Binary data
