Error wibbles now that we print roles in :info

(We might want to revisit this.)

5 files changed, 33 insertions, 5 deletions

diff --git a/testsuite/tests/ghci/scripts/T4087.stdout b/testsuite/tests/ghci/scripts/T4087.stdout
index ece136b610..3f600bd78d 100644
--- a/testsuite/tests/ghci/scripts/T4087.stdout
+++ b/testsuite/tests/ghci/scripts/T4087.stdout
@@ -1,3 +1,4 @@
+type role Equal nominal nominal
 data Equal a b where
   Equal :: Equal a a
   	-- Defined at T4087.hs:5:1
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout
index a253cf25bf..81d21a2c2a 100644
--- a/testsuite/tests/ghci/scripts/T4175.stdout
+++ b/testsuite/tests/ghci/scripts/T4175.stdout
@@ -1,13 +1,20 @@
-type family A a b :: * 	-- Defined at T4175.hs:4:1
+type role A nominal nominal
+type family A a b :: *
+  	-- Defined at T4175.hs:4:1
 type instance A (Maybe a) a -- Defined at T4175.hs:6:1
 type instance A Int Int -- Defined at T4175.hs:5:1
-data family B a 	-- Defined at T4175.hs:8:1
+type role B nominal
+data family B a
+  	-- Defined at T4175.hs:8:1
 data instance B () -- Defined at T4175.hs:9:15
+type role C nominal
 class C a where
+  type role D nominal nominal
   type family D a b :: *
   	-- Defined at T4175.hs:12:5
 type D () () -- Defined at T4175.hs:18:5
 type D Int () -- Defined at T4175.hs:15:5
+type role E nominal
 type family E a :: * where
     E () = Bool
     E Int = String
diff --git a/testsuite/tests/ghci/scripts/T5417.stdout b/testsuite/tests/ghci/scripts/T5417.stdout
index 80bb298860..b78ee64f73 100644
--- a/testsuite/tests/ghci/scripts/T5417.stdout
+++ b/testsuite/tests/ghci/scripts/T5417.stdout
@@ -1,7 +1,11 @@
 data B1 a = B1 a
+type role T5417.R:FB1 nominal
 data instance C.F (B1 a) = B2 a
+type role D nominal
 data family D a
+type role C.C1 nominal
 class C.C1 a where
+  type role C.F nominal
   data family C.F a
   	-- Defined at T5417a.hs:5:5
 data C.F (B1 a) -- Defined at T5417.hs:8:10
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout
index 9a88b5c294..bfaf58fabe 100644
--- a/testsuite/tests/ghci/scripts/T7939.stdout
+++ b/testsuite/tests/ghci/scripts/T7939.stdout
@@ -1,21 +1,31 @@
+type role Foo nominal
 class Foo (a :: k) where
+  type role Bar nominal nominal
   type family Bar (a :: k) b :: *
   	-- Defined at T7939.hs:6:4
 Bar :: k -> * -> *
-type family F a :: * 	-- Defined at T7939.hs:8:1
+type role F nominal
+type family F a :: *
+  	-- Defined at T7939.hs:8:1
 type instance F Int -- Defined at T7939.hs:9:1
 F :: * -> *
-type family G a :: * where G Int = Bool
+type role G nominal
+type family G a :: * where
+    G Int = Bool
   	-- Defined at T7939.hs:11:1
 G :: * -> *
-type family H (a :: Bool) :: Bool where H 'False = 'True
+type role H nominal
+type family H (a :: Bool) :: Bool where
+    H 'False = 'True
   	-- Defined at T7939.hs:14:1
 H :: Bool -> Bool
+type role J nominal
 type family J (a :: [k]) :: Bool where
     J '[] = 'False
     J (h : t) = 'True
   	-- Defined at T7939.hs:17:1
 J :: [k] -> Bool
+type role K nominal
 type family K (a :: [k]) :: Maybe k where
     K '[] = 'Nothing
     K (h : t) = 'Just h
diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout b/testsuite/tests/ghci/scripts/ghci025.stdout
index 9308dd3f39..01b543e9e3 100644
--- a/testsuite/tests/ghci/scripts/ghci025.stdout
+++ b/testsuite/tests/ghci/scripts/ghci025.stdout
@@ -2,7 +2,9 @@
 :browse! *T
 -- defined locally
 T.length :: T.Integer
+type role N phantom
 class N a
+type role S phantom
 class S a
 class C a b where
   c1 :: N b => a -> b
@@ -60,7 +62,9 @@ T.length :: Data.ByteString.Internal.ByteString -> GHC.Types.Int
 :browse! T
 -- defined locally
 T.length :: T.Integer
+type role N phantom
 class N a
+type role S phantom
 class S a
 class C a b where
   c1 :: N b => a -> b
@@ -74,7 +78,9 @@ c4 :: C a b => forall a1. a1 -> b
 :browse! T -- with -fprint-explicit-foralls
 -- defined locally
 T.length :: T.Integer
+type role N phantom
 class N a
+type role S phantom
 class S a
 class C a b where
   c1 :: N b => a -> b