This is viewed essentially as a bug fix: other than the implementational challenges, there is no reason not to perform correct exhaustiveness checking on integer patterns, especially as range patterns ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback