blob: 9a0dd072017078844a99d1e199e81c412303d8e8 (
plain)
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 -- no warning
data SBool (b :: Bool) where
STrue :: SBool True
SFalse :: SBool False
STrue = SFalse -- "redundant", not "inaccessible"
|
