Saem Ghani
Saem Ghani
> So, some open questions: Great questions. > * Where should "private" (unlisted/not documented) modules used by both multiple standard library modules _and_ multiple system modules go? If used by...
One of the things blocking this PR is that the core [matchesAux](https://github.com/nim-works/nimskull/blob/bf52661c0df03f9fb65354e85f0b76183a425934/compiler/sem/sigmatch.nim#L2786) loop needs to work on a per formal parameter basis instead of per argument as it is now....
Thanks for the report, I touched this bit of code last-ish and I'm pretty sure I know what the issue is, I can fix it.
We should probably bail on the cycle, where `b` imports `a`, but we don't have a definition for all as of yet exported routines.
I'm personally not a fan of circular imports whatsoever, but this issue feels rather disconnected from the better understood parts of the language, so I don't feel that I have...
> Maybe some error message that at least explains where the problem occurs. Although personally I would prefer that the first compatible type is selected automatically. If it's ambiguous then...
This is a "feature" now we need to decide if we want this or not.
> > There is a lot of analysis that is destructive to the shape of AST, meaning that it's oftentimes not possible to discard the types of a typed expression,...
> doesnt it means that type T is not simple anything, but have to implement init proc? maybe go to finalising `concept` way IIUC, then yes, over time that's the...
Well crap... OK, I'm pretty sure I need to add a feature to testament to work past these issues. 🤔