> A better solution would be ML-style module management, especially local > imports
I've asked for local imports a few times but from what I've read Araq is opposed to the idea, citing issues in D's version of this language feature. I'll go out on a limb and assume he means [hijacking](http://dlang.org/hijack.html) and this D [language issue](https://issues.dlang.org/show_bug.cgi?id=15179). Besides OCaml, which, as you mentioned, eschews overloading for now (modular implicits would change that somewhat), Ada also supports local imports. > (2) two more modules are so interdependent that they cannot be separated into > several module files In Ada, they introduced [limited with](http://www.adaic.org/resources/add_content/standards/05rat/html/Rat-1-3-3.html) in 2005 to deal with issues related to that, though the Ada package system is so different to Nim's modules that comparison may be unhelpful.
