Thanks for the explanation!
Laurent
On Thu, Jul 10, 2014 at 12:50 PM, Matthew Flatt wrote:
> I think the ordering of submodules is unavoidable, but the
> documentation should make more clear that the order of `module*`
> declarations matters.
>
> Meanwhile, the documentation for `module+` need
I think the ordering of submodules is unavoidable, but the
documentation should make more clear that the order of `module*`
declarations matters.
Meanwhile, the documentation for `module+` needs to clarify that it
puts the generated `module*` at the end of the enclosing module, even
if there's onl
2 matches
Mail list logo
