Follow-up to #13887, for promoted infix constructors
[ghc.git] / testsuite / tests / th / TH_RichKinds2.stderr
1
2 TH_RichKinds2.hs:24:4: warning:
3     data SMaybe_0 :: (k_0 -> *) -> GHC.Base.Maybe k_0 -> * where
4     SNothing_2 :: SMaybe_0 s_3 'GHC.Base.Nothing
5     SJust_4 :: (s_5 a_6) -> SMaybe_0 s_5 ('GHC.Base.Just a_6)
6 type instance TH_RichKinds2.Map f_7 '[] = '[]
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
10                                                                                               t_10)