Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / ghci / scripts / T4175.stdout
index 29bca02..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
@@ -25,16 +23,21 @@ instance Eq () -- Defined in ‘GHC.Classes’
 instance Ord () -- Defined in ‘GHC.Classes’
 instance Read () -- Defined in ‘GHC.Read’
 instance Show () -- Defined in ‘GHC.Show’
+instance Monoid () -- Defined in ‘GHC.Base’
 type instance D () () = Bool   -- Defined at T4175.hs:22:5
 type instance D Int () = String        -- Defined at T4175.hs:19:5
 data instance B () = MkB       -- Defined at T4175.hs:13:15
-data Maybe a = Nothing | Just a        -- Defined in ‘Data.Maybe’
-instance Eq a => Eq (Maybe a) -- Defined in ‘Data.Maybe’
-instance Monad Maybe -- Defined in ‘Data.Maybe’
-instance Functor Maybe -- Defined in ‘Data.Maybe’
-instance Ord a => Ord (Maybe a) -- Defined in ‘Data.Maybe’
+data Maybe a = Nothing | Just a        -- Defined in ‘GHC.Base’
+instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’
+instance Monad Maybe -- Defined in ‘GHC.Base’
+instance Functor Maybe -- Defined in ‘GHC.Base’
+instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Base’
 instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’
 instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
+instance Applicative Maybe -- Defined in ‘GHC.Base’
+instance Foldable Maybe -- Defined in ‘Data.Foldable’
+instance Traversable Maybe -- Defined in ‘Data.Traversable’
+instance Monoid a => Monoid (Maybe a) -- Defined in ‘GHC.Base’
 type instance A (Maybe a) a = a        -- Defined at T4175.hs:9:1
 data Int = I# Int#     -- Defined in ‘GHC.Types’
 instance C Int -- Defined at T4175.hs:18:10