Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Checking for missing cases in a match expression. Based on "Warnings for pattern matching" by Luc Maranget. We only detect inexhaustiveness here - ideally, we would also like to check for redundant cases.
Synopsis
- unmatched :: [Pat StructType] -> [Match ()]
- data Match t