SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / ghci / scripts / T4175.stdout
index d319bd6..f76feb6 100644 (file)
@@ -1,56 +1,56 @@
-type family A a b :: *         -- Defined at T4175.hs:7:1\r
-type instance A (B a) b = ()   -- Defined at T4175.hs:10:15\r
-type instance A (Maybe a) a = a        -- Defined at T4175.hs:9:15\r
-type instance A Int Int = ()   -- Defined at T4175.hs:8:15\r
-data family B a        -- Defined at T4175.hs:12:1\r
-instance G B -- Defined at T4175.hs:34:10\r
-data instance B () = MkB       -- Defined at T4175.hs:13:15\r
-type instance A (B a) b = ()   -- Defined at T4175.hs:10:15\r
-class C a where\r
-  type family D a b :: *\r
-       -- Defined at T4175.hs:16:5\r
-type instance D () a = Bool    -- Defined at T4175.hs:22:10\r
-type instance D Int b = String         -- Defined at T4175.hs:19:10\r
-type family E a :: *\r
-  where\r
-      E () = Bool\r
-      E Int = String\r
-       -- Defined at T4175.hs:24:1\r
-data () = ()   -- Defined in ‘GHC.Tuple’\r
-instance C () -- Defined at T4175.hs:21:10\r
-instance Bounded () -- Defined in ‘GHC.Enum’\r
-instance Enum () -- Defined in ‘GHC.Enum’\r
-instance Eq () -- Defined in ‘GHC.Classes’\r
-instance Ord () -- Defined in ‘GHC.Classes’\r
-instance Read () -- Defined in ‘GHC.Read’\r
-instance Show () -- Defined in ‘GHC.Show’\r
-instance Monoid () -- Defined in ‘GHC.Base’\r
-type instance D () a = Bool    -- Defined at T4175.hs:22:10\r
-data instance B () = MkB       -- Defined at T4175.hs:13:15\r
-data Maybe a = Nothing | Just a        -- Defined in ‘GHC.Base’\r
-instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’\r
-instance Monad Maybe -- Defined in ‘GHC.Base’\r
-instance Functor Maybe -- Defined in ‘GHC.Base’\r
-instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Base’\r
-instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’\r
-instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’\r
-instance Applicative Maybe -- Defined in ‘GHC.Base’\r
-instance Foldable Maybe -- Defined in ‘Data.Foldable’\r
-instance Traversable Maybe -- Defined in ‘Data.Traversable’\r
-instance Monoid a => Monoid (Maybe a) -- Defined in ‘GHC.Base’\r
-type instance A (Maybe a) a = a        -- Defined at T4175.hs:9:15\r
-data Int = I# Int#     -- Defined in ‘GHC.Types’\r
-instance C Int -- Defined at T4175.hs:18:10\r
-instance Bounded Int -- Defined in ‘GHC.Enum’\r
-instance Enum Int -- Defined in ‘GHC.Enum’\r
-instance Eq Int -- Defined in ‘GHC.Classes’\r
-instance Integral Int -- Defined in ‘GHC.Real’\r
-instance Num Int -- Defined in ‘GHC.Num’\r
-instance Ord Int -- Defined in ‘GHC.Classes’\r
-instance Read Int -- Defined in ‘GHC.Read’\r
-instance Real Int -- Defined in ‘GHC.Real’\r
-instance Show Int -- Defined in ‘GHC.Show’\r
-type instance D Int b = String         -- Defined at T4175.hs:19:10\r
-type instance A Int Int = ()   -- Defined at T4175.hs:8:15\r
-class Z a      -- Defined at T4175.hs:28:1\r
-instance F (Z a) -- Defined at T4175.hs:31:10\r
+type family A a b :: *         -- Defined at T4175.hs:7:1
+type instance A (Maybe a) a = a        -- Defined at T4175.hs:9:15
+type instance A Int Int = ()   -- Defined at T4175.hs:8:15
+type instance A (B a) b = ()   -- Defined at T4175.hs:10:15
+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:15
+class C a where
+  type family D a b :: *
+       -- Defined at T4175.hs:16:5
+type instance D () a = Bool    -- Defined at T4175.hs:22:10
+type instance D Int b = String         -- Defined at T4175.hs:19:10
+type family E a :: *
+  where
+      E () = Bool
+      E Int = String
+       -- Defined at T4175.hs:24:1
+data () = ()   -- Defined in ‘GHC.Tuple’
+instance C () -- Defined at T4175.hs:21:10
+instance Bounded () -- Defined in ‘GHC.Enum’
+instance Enum () -- Defined in ‘GHC.Enum’
+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 () a = Bool    -- Defined at T4175.hs:22:10
+data instance B () = MkB       -- Defined at T4175.hs:13:15
+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:15
+data Int = I# Int#     -- Defined in ‘GHC.Types’
+instance C Int -- Defined at T4175.hs:18:10
+instance Bounded Int -- Defined in ‘GHC.Enum’
+instance Enum Int -- Defined in ‘GHC.Enum’
+instance Eq Int -- Defined in ‘GHC.Classes’
+instance Integral Int -- Defined in ‘GHC.Real’
+instance Num Int -- Defined in ‘GHC.Num’
+instance Ord Int -- Defined in ‘GHC.Classes’
+instance Read Int -- Defined in ‘GHC.Read’
+instance Real Int -- Defined in ‘GHC.Real’
+instance Show Int -- Defined in ‘GHC.Show’
+type instance D Int b = String         -- Defined at T4175.hs:19:10
+type instance A Int Int = ()   -- Defined at T4175.hs:8:15
+class Z a      -- Defined at T4175.hs:28:1
+instance F (Z a) -- Defined at T4175.hs:31:10