Algebraic data types are not exhaustive

raderio July 10, 2016, 12:58pm 3

Thanks.

IMO, when (obj) must always be exhaustive

Topic		Replies	Views
[SOLVED] 'when' expression recommended to be exhaustive, even if it is impossible to reach the else branch Language Design	3	18892	April 12, 2018
‘when’ expression requires to be exhaustive, even be 'else' branch is empty Language Design	5	4281	April 18, 2023
Allow _ in exhaustive when Language Design	4	3050	January 22, 2020
A good bad idea: use a constraint solver to proove `when` exhaustiveness	2	1773	December 4, 2017
When expression must be exhaustive in all cases Language Design	2	4706	June 28, 2016