I am not sure what could be causing this problem, but it seems related to something I ran into about a year ago[1], though I was getting slightly different behavior. At the time, Matthew had the following to say on the subject:
> On Oct 25, 2016, at 4:28 PM, Matthew Flatt <[email protected]> wrote: > > Putting identifiers in syntax properties causes them to be hidden from > various scope and module-path-shifting operations. Probably, you're > seeing the effect of hiding an identifier from path shifting (when an > expanded module is compiled or when a compiled module is declared and > instantiated in at a given module path and phase). (For a little more discussion, see the linked thread.) At the same time, I also opened racket/racket#1495[2], which includes a somewhat similar program to yours, though again with a different error. Still, it might be useful context (and I would bet they are related). [1]: https://groups.google.com/d/msg/racket-users/TGax2h8dVxs/2N15Qy4zAQAJ [2]: https://github.com/racket/racket/issues/1495 > On Oct 3, 2017, at 1:14 PM, Alex Knauth <[email protected]> wrote: > > Hello, > > I'm getting an error that only happens when I split a definition and > a use into two small files, def.rkt and use.rkt. If I put them into > the same file, the error goes away. > > The error happens when I call `syntax-local-value` on an identifier > stored in a syntax property, while compiling use.rkt. The syntax > property that got attached by the `define-thing` macro. I've seen this > error message before, but it has usually meant that a syntax object > says its bound to something in a module, but the module hasn't been > instantiated yet. But both modules have been instantiated so what's > going on? > > I've tried variations on compiling first vs. running without > compiling, and I've tried putting syntax-local-introduce both before > putting things in a syntax property and after pulling things out of a > syntax property. > > Alex Knauth -- 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/904900A4-E12F-4B09-B3A4-2526705EDC74%40gmail.com. For more options, visit https://groups.google.com/d/optout.
