3 ms·
Exhaustiveness checking on pattern matches is a big thing that helps with correctness though, so it seems like it should have been in his list.
by imanaccount247 12y ago
Exhaustiveness checking on pattern matches is a big thing that helps with correctness though, so it seems like it should have been in his list.