Open michallepicki opened 2 years ago
Is there a plan to have exhaustiveness checking of case expressions?
In the short term - no. The main rationale for the current design choice: Erlang "let it crash philosophy" - for real world programs such checks may be rather noisy. - Consider implementations of gen_server - such checks would force users to add "default clauses".
We can re-consider this in future.
It will be clarified as part of documentation soon.
Is there a plan to have exhaustiveness checking of case expressions?
Currently this code doesn't result in any errors: