testsuite/tests/pmcheck/should_compile/CaseOfKnownCon.hs


1
2
3
4
5
6
7
8

-- | Ideally, we want the pattern match in `f` to be discovered as exhaustive,
-- with a redundant match on the second clause.
module Lib where

f :: ()
f = case (True, False) of
  (True, False) -> ()
  (True, True) -> ()