[racket-users] Re: #%module-begin with module+

2018-09-12 Thread Milo Turner
The reason for it using racket/base's #%module-begin is the same reasoning for how racket/base's #%app is inserted in a #lang racket module (and more crucially, inserted by macros defined in that module, no matter where the macro is used) -- You received this message because you are

[racket-users] Re: #%module-begin with module+

2018-09-04 Thread Philip McGrath
Inspired by https://groups.google.com/d/msg/racket-users/H7vilh3KcD4/WoKcRUXe-PAJ, I have a strange but simple workaround. Essentially, I added a module like: #lang racket (require syntax/parse/define) (provide (rename-out [child-module+ module+] [child-module* module*]))