This is now merged, and I ended up managing to simplify the implementation somewhat, though the bulk of the changes were still necessary. I’ve written up the details of how it works in a blog post here:
https://lexi-lambda.github.io/blog/2017/10/27/a-space-of-their-own-adding-a-type-namespace-to-hackett/ And with that, I’ll stop bumping this thread if nobody else replies to it — I just wanted to record the details of my solution to the problem for posterity. :) Thanks to everyone who helped, Alexis > On Oct 25, 2017, at 10:33 AM, Alexis King <[email protected]> > wrote: > > I finally did this and got everything working, mostly. I have opened > a pull request with the current state of the namespaced > implementation: > > https://github.com/lexi-lambda/hackett/pull/49 > > Comments are welcome. > > Alexis -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.

