8370df332d31848ff5746b4f5d6f034026a1cdac
[ghc.git] / testsuite / tests / th / TH_RichKinds2.stderr
1
2 TH_RichKinds2.hs:23:4: Warning:
3     data SMaybe_0 (t_1 :: k_0 -> *) (t_3 :: Data.Maybe.Maybe k_0)
4     = forall . t_3 ~ 'Data.Maybe.Nothing => SNothing_4
5     | forall a_5 . t_3 ~ 'Data.Maybe.Just a_5 => SJust_6 (t_1 a_5)
6 type instance TH_RichKinds2.Map f_7 'GHC.Types.[] = 'GHC.Types.[]
7 type instance TH_RichKinds2.Map f_8
8                                 ('GHC.Types.: h_9 t_10) = 'GHC.Types.: (f_8 h_9)
9                                                                        (TH_RichKinds2.Map f_8 t_10)