Move `Maybe`-typedef into GHC.Base
[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 :: GHC.Base.Maybe k_0)
4     = forall . t_3 ~ 'GHC.Base.Nothing => SNothing_4
5     | forall a_5 . t_3 ~ 'GHC.Base.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)