Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / ghci / scripts / T4175.stdout
index 7c063a6..cea9a01 100644 (file)
@@ -2,9 +2,7 @@ type family A a b :: *  -- Defined at T4175.hs:7:1
 type instance A (B a) b = ()   -- Defined at T4175.hs:10:1
 type instance A (Maybe a) a = a        -- Defined at T4175.hs:9:1
 type instance A Int Int = ()   -- Defined at T4175.hs:8:1
-type role B nominal
-data family B a
-       -- Defined at T4175.hs:12:1
+data family B a        -- Defined at T4175.hs:12:1
 instance G B -- Defined at T4175.hs:34:10
 data instance B () = MkB       -- Defined at T4175.hs:13:15
 type instance A (B a) b = ()   -- Defined at T4175.hs:10:1