Open JSAbrahams opened 1 year ago
If a match is non-exhaustive, no error is given in the check stage.
Steps to reproduce the behaviour, with steps and resulting error.
A check should be done that all possible variants of the expression are covered. If not, then the user should be forced to add a default case.
Description of Bug
If a match is non-exhaustive, no error is given in the check stage.
How to Reproduce
Steps to reproduce the behaviour, with steps and resulting error.
Expected behavior
A check should be done that all possible variants of the expression are covered. If not, then the user should be forced to add a default case.
Additional context