diff options
Diffstat (limited to 'testsuite/tests/th/TH_RichKinds2.stderr')
-rw-r--r-- | testsuite/tests/th/TH_RichKinds2.stderr | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/testsuite/tests/th/TH_RichKinds2.stderr b/testsuite/tests/th/TH_RichKinds2.stderr index 11829296e0..a0b29a15e3 100644 --- a/testsuite/tests/th/TH_RichKinds2.stderr +++ b/testsuite/tests/th/TH_RichKinds2.stderr @@ -1,9 +1,10 @@ -TH_RichKinds2.hs:24:4: warning: - data SMaybe_0 :: (k_0 -> *) -> GHC.Base.Maybe k_0 -> * where - SNothing_2 :: SMaybe_0 s_3 'GHC.Base.Nothing - SJust_4 :: (s_5 a_6) -> SMaybe_0 s_5 ('GHC.Base.Just a_6) +TH_RichKinds2.hs:25:4: warning: + data SMaybe_0 :: (k_0 -> *) -> GHC.Maybe.Maybe k_0 -> * where + SNothing_2 :: SMaybe_0 s_3 'GHC.Maybe.Nothing + SJust_4 :: (s_5 a_6) -> SMaybe_0 s_5 ('GHC.Maybe.Just a_6) 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) + ('(GHC.Types.:) h_9 t_10) = '(GHC.Types.:) (f_8 h_9) + (TH_RichKinds2.Map f_8 + t_10) |