Encode shape information in `PmOracle`
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / T13363a.hs
1 {-# OPTIONS_GHC -Wincomplete-patterns -Woverlapping-patterns #-}
2 {-# LANGUAGE PatternSynonyms #-}
3
4 module Lib where
5
6 data Boolean = F | T
7 deriving Eq
8
9 pattern TooGoodToBeTrue :: Boolean
10 pattern TooGoodToBeTrue = T
11 {-# COMPLETE F, TooGoodToBeTrue #-}
12
13 catchAll :: Boolean -> Int
14 catchAll F = 0
15 catchAll TooGoodToBeTrue = 1
16 catchAll _ = error "impossible"