Alexis, hello. > On 2015 May 4, at 16:37, Alexis King <lexi.lam...@gmail.com> wrote: > > Yes, it’s a known bug that submodules are broken within Typed Racket. I’m not > entirely clear on the details, but I believe it is suspected that the reason > is actually due to a bug in the macro expander, which should be fixed with > Matthew Flatt’s new scope-sets model.
Ah, that's a pity. > Otherwise, I don’t think there’s a particularly good workaround for this > issue, so you’ll probably just have to avoid submodules in TR for the time > being. What I've done is simply to move most of the content of the main submodule into a top-level function, and call that with (current-command-line-arguments). Not as pretty, but it typechecks. Thanks for your help. All the best, Norman -- Norman Gray : http://nxg.me.uk SUPA School of Physics and Astronomy, University of Glasgow, UK -- 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
