Encode shape information in `PmOracle`
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / T13964.hs
1 {-# OPTIONS_GHC -Wincomplete-patterns #-}
2
3 {-# LANGUAGE PatternSynonyms #-}
4 {-# LANGUAGE ViewPatterns #-}
5
6 module Bug (Boolean(F, TooGoodToBeTrue), catchAll) where
7
8 data Boolean = F | T
9 deriving Eq
10
11 pattern TooGoodToBeTrue :: Boolean
12 pattern TooGoodToBeTrue <- ((== T) -> True)
13 where
14 TooGoodToBeTrue = T
15 {-# COMPLETE F, TooGoodToBeTrue #-}
16
17 catchAll :: Boolean -> Int
18 catchAll F = 0
19 -- catchAll TooGoodToBeTrue = 1
20