Language.Futhark.TypeChecker.Match

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.

Documentation

unmatched :: [Pat] -> [Match]

Find the unmatched cases.

data Match

A representation of the essentials of a pattern.

Instances

Eq Match

Defined in Language.Futhark.TypeChecker.Match

Methods

(==) :: Match -> Match -> Bool

(/=) :: Match -> Match -> Bool

Ord Match

Defined in Language.Futhark.TypeChecker.Match

Methods

compare :: Match -> Match -> Ordering

(<) :: Match -> Match -> Bool

(<=) :: Match -> Match -> Bool

(>) :: Match -> Match -> Bool

(>=) :: Match -> Match -> Bool

max :: Match -> Match -> Match

min :: Match -> Match -> Match

Show Match

Defined in Language.Futhark.TypeChecker.Match

Methods

showsPrec :: Int -> Match -> ShowS

show :: Match -> String

showList :: [Match] -> ShowS

Pretty Match

Defined in Language.Futhark.TypeChecker.Match

Methods

ppr :: Match -> Doc

pprPrec :: Int -> Match -> Doc

pprList :: [Match] -> Doc