testsuite/tests/th/TH_RichKinds2.stderr


1
2
3
4
5
6
7
8
9


TH_RichKinds2.hs:23:4: Warning:
    data SMaybe_0 (t_1 :: k_0 -> *) (t_3 :: Data.Maybe.Maybe k_0)
    = forall . t_3 ~ 'Data.Maybe.Nothing => SNothing_4
    | forall a_5 . t_3 ~ 'Data.Maybe.Just a_5 => SJust_6 (t_1 a_5)
type instance TH_RichKinds2.Map f_7 '[] = '[]
type instance TH_RichKinds2.Map f_8
                                ('GHC.Types.: h_9 t_10) = 'GHC.Types.: (f_8 h_9)
                                                                       (TH_RichKinds2.Map f_8 t_10)