Re: [racket-users] Literate programming and submodules

2015-08-24 Thread Konrad Hinsen
On 08/08/2015 16:59, Matthew Flatt wrote: The problem here is the same as in https://groups.google.com/d/msg/racket-users/H7vilh3KcD4/pGZif3F3dEkJ Indeed, adding that require line fixes the problem. Thanks! I still haven't thought about it enough to fine better solution than putting `requ

Re: [racket-users] Literate programming and submodules

2015-08-08 Thread Matthew Flatt
The problem here is the same as in https://groups.google.com/d/msg/racket-users/H7vilh3KcD4/pGZif3F3dEkJ I still haven't thought about it enough to fine better solution than putting `require (only-in racket/base #%module-begin))` before the submodule declaration. At Thu, 30 Jul 2015 16:46:34 +0