Refactor type families in Template Haskell
[ghc.git] / testsuite / tests / th / TH_RichKinds2.stderr
1
2 TH_RichKinds2.hs:24: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 '[] = '[]
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)