Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / T14059a.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE PatternSynonyms #-}
3 {-# LANGUAGE ScopedTypeVariables #-}
4 {-# LANGUAGE TypeInType #-}
5 {-# LANGUAGE TypeOperators #-}
6 {-# OPTIONS_GHC -Wincomplete-patterns #-}
7 module T14059a where
8
9 data SBool (z :: Bool) where
10 SFalse :: SBool False
11 STrue :: SBool True
12
13 pattern STooGoodToBeTrue :: forall (z :: Bool). ()
14 => z ~ True
15 => SBool z
16 pattern STooGoodToBeTrue = STrue
17 {-# COMPLETE SFalse, STooGoodToBeTrue #-}
18
19 wibble :: SBool z -> Bool
20 wibble STrue = True
21
22 wobble :: SBool z -> Bool
23 wobble STooGoodToBeTrue = True