diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T10321.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T15872.stdout | 4 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T4175.stdout | 4 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci025.stdout | 6 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci064.stdout | 2 |
5 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/ghci/scripts/T10321.stdout b/testsuite/tests/ghci/scripts/T10321.stdout index d74ca959a6..c905982364 100644 --- a/testsuite/tests/ghci/scripts/T10321.stdout +++ b/testsuite/tests/ghci/scripts/T10321.stdout @@ -1 +1 @@ -3 :> 4 :> 5 :> Nil :: Num a => Vec 3 a +3 :> 4 :> 5 :> Nil :: Num b => Vec 3 b diff --git a/testsuite/tests/ghci/scripts/T15872.stdout b/testsuite/tests/ghci/scripts/T15872.stdout index e1aa200425..ae90ea73f2 100644 --- a/testsuite/tests/ghci/scripts/T15872.stdout +++ b/testsuite/tests/ghci/scripts/T15872.stdout @@ -1,11 +1,11 @@ -MkFun :: (a -> b) -> Fun a b +MkFun :: (b -> c) -> Fun b c Fun :: (a ~ 'OP) => * -> * -> * type Fun :: forall (a :: WHICH). (a ~ 'OP) => * -> * -> * data Fun b c where MkFun :: (b -> c) -> Fun b c -- Defined at T15872.hs:11:1 MkFun - :: (a -> b) -> Fun @'OP @{'GHC.Types.Eq# @WHICH @'OP @'OP <>} a b + :: (b -> c) -> Fun @'OP @{'GHC.Types.Eq# @WHICH @'OP @'OP <>} b c Fun :: ((a :: WHICH) ~ ('OP :: WHICH)) => * -> * -> * type role Fun nominal nominal representational representational type Fun :: forall (a :: WHICH). diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index 9f93304ca9..d15ebb4ce1 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -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’ +data instance B () = MkB -- Defined at T4175.hs:14: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’ @@ -67,8 +67,8 @@ 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:20:10 type instance A Int Int = () -- Defined at T4175.hs:9:15 +type instance D Int () = String -- Defined at T4175.hs:20:10 type Z :: * -> Constraint class Z a -- Defined at T4175.hs:29:1 diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout b/testsuite/tests/ghci/scripts/ghci025.stdout index 3531825a97..8c6c0ad18b 100644 --- a/testsuite/tests/ghci/scripts/ghci025.stdout +++ b/testsuite/tests/ghci/scripts/ghci025.stdout @@ -11,7 +11,7 @@ class C a b ... c1 :: (C a b, N b) => a -> b c2 :: (C a b, N b, S b) => a -> b -c3 :: C a b => a -> b +c3 :: C a b => a1 -> b c4 :: C a b => a1 -> b -- imported via Control.Monad type MonadPlus :: (* -> *) -> Constraint @@ -66,7 +66,7 @@ class C a b ... c1 :: (C a b, N b) => a -> b c2 :: (C a b, N b, S b) => a -> b -c3 :: C a b => a -> b +c3 :: C a b => a1 -> b c4 :: C a b => a1 -> b :browse! T -- with -fprint-explicit-foralls -- defined locally @@ -80,7 +80,7 @@ class C a b ... c1 :: forall a b. (C a b, N b) => a -> b c2 :: forall a b. (C a b, N b, S b) => a -> b -c3 :: forall a b a. C a b => a -> b +c3 :: forall a b a1. C a b => a1 -> b c4 :: forall a b a1. C a b => a1 -> b -- test :browse! <target> relative to different contexts :browse! Ghci025C -- from *Ghci025C> diff --git a/testsuite/tests/ghci/scripts/ghci064.stdout b/testsuite/tests/ghci/scripts/ghci064.stdout index 0fa911e351..b3437226ca 100644 --- a/testsuite/tests/ghci/scripts/ghci064.stdout +++ b/testsuite/tests/ghci/scripts/ghci064.stdout @@ -29,8 +29,8 @@ instance [safe] MyShow w => MyShow [w] instance Monoid [T] -- Defined in ‘GHC.Base’ instance Semigroup [T] -- Defined in ‘GHC.Base’ instance GHC.Generics.Generic [T] -- Defined in ‘GHC.Generics’ -instance [safe] MyShow [T] -- Defined at ghci064.hs:8:10 instance [safe] MyShow [T] -- Defined at ghci064.hs:16:10 +instance [safe] MyShow [T] -- Defined at ghci064.hs:8:10 instance Eq Bool -- Defined in ‘GHC.Classes’ instance Ord Bool -- Defined in ‘GHC.Classes’ instance Enum Bool -- Defined in ‘GHC.Enum’ |