blob: b0827881d5c023d820066d51c7178a97e4ab6397 (
plain)
1
2
3
4
5
6
7
8
9
10
|
TH_TyInstWhere2.hs:8:2: warning: [GHC-39584]
type family F_0 (a_1 :: k_2) (b_3 :: k_2) :: GHC.Types.Bool where
F_0 a_4 a_4 = 'GHC.Types.True
F_0 a_5 b_6 = 'GHC.Types.False
TH_TyInstWhere2.hs:14:2: warning: [GHC-39584]
type family F1_0 (a_1 :: k_2) :: * where
F1_0 @(*) GHC.Types.Int = GHC.Types.Bool
F1_0 @GHC.Types.Bool 'GHC.Types.False = GHC.Types.Char
|
