blob: 0933baae96363f82663aa0d659b66974902217c0 (
plain)
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) -> ()
|