Catherine
Catherine
> The purpose was mainly to get something started. The life of a language feature does not start with code. > Can you describe the mechanism you had in mind?...
Ah sorry, I was unclear earlier. I meant that I don't know yet what kind of user-visible mechanism there should be to disable the warnings for unreachable cases, and that...
I'm not expecting you to propose any way to do this in the code! Implementation is secondary to the interface; until we decided on the interface it doesn't even make...
Of course there can be other possible strategies that I'm missing, so anyone reading these comments is welcome to suggest alternatives.
Sure, search for `_linter` in `nmigen._utils` and `nmigen._unused`. The current implementation is extremely bare-bones (it basically exists to make it bearable to write tests that create and then don't simulate...
I've filed an RFC https://github.com/nmigen/nmigen/issues/436 to discuss this.
Right, this is the obvious solution. The main issue I see with it is that when you have a lot of diffpairs, it can be hard to correlate the booleans...
As an alternative I was wondering if something like `DiffPairs("A1 !A2", "B1 !B2")` would work. The `!` sigils would then have to match in both the P and the N...
Sure, `~` is fine by me.
Sounds great. I'll bring this up on the next meeting but I think you can start implementing it as it seems unlikely anyone's going to be opposed.