Signal(range(0)) raises SyntaxWarning

[rroohhh]

Signal(range(0)) raises

SyntaxWarning: Reset value 0 equals the non-inclusive end of the signal shape range(0, 0); this is likely an off-by-one error

Is this warning intended?
To me this warning is quite confusing, as amaranth implicitly converts range(0) (which would be something like a never type) to unsigned(0), and Signal(unsigned(0)) does not raise the same warning.

Some more discussion can be found in the IRC logs.

[whitequark]

Is this warning intended?

It is intended in the sense that I added that warning and it performs to its specification.

To me this warning is quite confusing

I agree with Wanda that the behavior is not well-defined. Can you share the code?

[whitequark]

We have discussed this issue on the 2024-01-29 meeting. We have decided to allow Signal(range(0)) without a warning, and also turn all cases of Signal(range(X, Y, Z), reset=R) where R not in range(X, Y, Z) into hard errors.