testsuite/tests/pmcheck/should_compile/T18572.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# OPTIONS_GHC -Wincomplete-uni-patterns -Wincomplete-patterns -fforce-recomp #-}
{-# LANGUAGE DataKinds, KindSignatures, GADTs #-}

module T18572 where

True = True

data SBool (b :: Bool) where
  STrue :: SBool True
  SFalse :: SBool False

STrue = SFalse