Capture makes remaining patterns unreachable
Cause of the problem A variable name in a case clause is treated as a name capture pattern. It always matches and tries to make an assignment to the variable name. This is almost certainly not what was intended. Because the first matching case wins and because case OKAY always matches, the other case clauses … Read more