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 <le...@leifandersen.net 
> <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 <le...@leifandersen.net 
> <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 <racke...@googlegroups.com <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 racket-dev+...@googlegroups.com <javascript:>. 
> >>> To post to this group, send email to racke...@googlegroups.com 
> <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 racket-dev+unsubscr...@googlegroups.com.
To post to this group, send email to racket-dev@googlegroups.com.
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.

Attachment: namespace-mismatch.rkt
Description: Binary data

Reply via email to