diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T4175.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T4175.stdout | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index 52d8a688c7..9f93304ca9 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -1,31 +1,31 @@ type A :: * -> * -> * 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 + -- Defined at T4175.hs:8:1 +type instance A (Maybe a) a = a -- Defined at T4175.hs:10:15 +type instance A Int Int = () -- Defined at T4175.hs:9:15 +type instance A (B a) b = () -- Defined at T4175.hs:11:15 type B :: * -> * data family B a - -- Defined at T4175.hs:12:1 -instance [safe] G B -- Defined at T4175.hs:34:10 -type instance A (B a) b = () -- Defined at T4175.hs:10:15 -data instance B () = MkB -- Defined at T4175.hs:13:15 + -- Defined at T4175.hs:13:1 +instance [safe] G B -- Defined at T4175.hs:35:10 +type instance A (B a) b = () -- Defined at T4175.hs:11:15 +data instance B () = MkB -- Defined at T4175.hs:14:15 type C :: * -> Constraint class C a where type D :: * -> * -> * type family D a b - -- Defined at T4175.hs:16:5 -type instance D () () = Bool -- Defined at T4175.hs:22:10 -type instance D Int () = String -- Defined at T4175.hs:19:10 + -- Defined at T4175.hs:17:5 +type instance D () () = Bool -- Defined at T4175.hs:23:10 +type instance D Int () = String -- Defined at T4175.hs:20:10 type E :: * -> * type family E a where E () = Bool E Int = String - -- Defined at T4175.hs:24:1 + -- Defined at T4175.hs:25:1 type () :: * data () = () -- Defined in ‘GHC.Tuple’ -instance [safe] C () -- Defined at T4175.hs:21:10 +instance [safe] C () -- Defined at T4175.hs:22:10 instance Eq () -- Defined in ‘GHC.Classes’ instance Monoid () -- Defined in ‘GHC.Base’ instance Ord () -- Defined in ‘GHC.Classes’ @@ -34,9 +34,9 @@ instance Enum () -- Defined in ‘GHC.Enum’ instance Show () -- Defined in ‘GHC.Show’ instance Read () -- Defined in ‘GHC.Read’ instance Bounded () -- Defined in ‘GHC.Enum’ -type instance D () () = Bool -- Defined at T4175.hs:22:10 -type instance D Int () = String -- Defined at T4175.hs:19:10 -data instance B () = MkB -- Defined at T4175.hs:13:15 +type instance D () () = Bool -- Defined at T4175.hs:23:10 +type instance D Int () = String -- Defined at T4175.hs:20:10 +data instance B () = MkB -- Defined at T4175.hs:14:15 type Maybe :: * -> * data Maybe a = Nothing | Just a -- Defined in ‘GHC.Maybe’ @@ -53,11 +53,11 @@ instance MonadFail Maybe -- Defined in ‘Control.Monad.Fail’ instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’ instance Foldable Maybe -- Defined in ‘Data.Foldable’ instance Traversable Maybe -- Defined in ‘Data.Traversable’ -type instance A (Maybe a) a = a -- Defined at T4175.hs:9:15 +type instance A (Maybe a) a = a -- Defined at T4175.hs:10:15 type Int :: * data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‘GHC.Types’ -instance [safe] C Int -- Defined at T4175.hs:18:10 +instance [safe] C Int -- Defined at T4175.hs:19:10 instance Eq Int -- Defined in ‘GHC.Classes’ instance Ord Int -- Defined in ‘GHC.Classes’ instance Enum Int -- Defined in ‘GHC.Enum’ @@ -67,9 +67,9 @@ instance Show Int -- Defined in ‘GHC.Show’ instance Read Int -- Defined in ‘GHC.Read’ instance Bounded Int -- Defined in ‘GHC.Enum’ instance Integral Int -- Defined in ‘GHC.Real’ -type instance D Int () = String -- Defined at T4175.hs:19:10 -type instance A Int Int = () -- Defined at T4175.hs:8:15 +type instance D Int () = String -- Defined at T4175.hs:20:10 +type instance A Int Int = () -- Defined at T4175.hs:9:15 type Z :: * -> Constraint class Z a - -- Defined at T4175.hs:28:1 -instance [safe] F (Z a) -- Defined at T4175.hs:31:10 + -- Defined at T4175.hs:29:1 +instance [safe] F (Z a) -- Defined at T4175.hs:32:10 |