It was getting a bit difficult to see which warnings might be indicative of problems, so I fixed the various unmatched-case warnings.
I tried to be conservative in order to minimise the risk of breakage, so there might be a few cases where edge cases are checked using both Boolean control flow and pattern matching.
It was getting a bit difficult to see which warnings might be indicative of problems, so I fixed the various unmatched-case warnings.
I tried to be conservative in order to minimise the risk of breakage, so there might be a few cases where edge cases are checked using both Boolean control flow and pattern matching.