Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / th / TH_RichKinds2.stderr
index 8370df3..8970da8 100644 (file)
@@ -1,9 +1,10 @@
 
-TH_RichKinds2.hs:23:4: Warning:
-    data SMaybe_0 (t_1 :: k_0 -> *) (t_3 :: Data.Maybe.Maybe k_0)
-    = forall . t_3 ~ 'Data.Maybe.Nothing => SNothing_4
-    | forall a_5 . t_3 ~ 'Data.Maybe.Just a_5 => SJust_6 (t_1 a_5)
-type instance TH_RichKinds2.Map f_7 'GHC.Types.[] = 'GHC.Types.[]
+TH_RichKinds2.hs:25: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)
+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)