Re: [racket-dev] weird "module: identifier is already imported" error

2012-06-21 Thread Matthias Felleisen
Christos, time to file a bug report (with code snippets). -- Matthias On Jun 21, 2012, at 4:41 PM, Ryan Culpepper wrote: > I can reproduce this error in DrRacket (both with and without debuggging > enabled) but not in racket. So maybe DrRacket is doing something odd, or > perhaps there's a bu

Re: [racket-dev] weird "module: identifier is already imported" error

2012-06-21 Thread Ryan Culpepper
I can reproduce this error in DrRacket (both with and without debuggging enabled) but not in racket. So maybe DrRacket is doing something odd, or perhaps there's a bug in module->namespace or something like that. Ryan On 06/21/2012 01:52 PM, Christos Dimoulas wrote: Hi, I ran into an error

[racket-dev] weird "module: identifier is already imported" error

2012-06-21 Thread Christos Dimoulas
Hi, I ran into an error that I can't explain. Do you have any hints about what is going on or any suggestions on how to fix it? In the following code, macros provides alternative forms for require and provide, dubbed accept and provide/dispute. They are doing the same job as provide and requ