diff options
160 files changed, 449 insertions, 417 deletions
diff --git a/testsuite/tests/ado/ado004.stderr b/testsuite/tests/ado/ado004.stderr index 61b8cee912..8956790b1c 100644 --- a/testsuite/tests/ado/ado004.stderr +++ b/testsuite/tests/ado/ado004.stderr @@ -44,4 +44,4 @@ TYPE SIGNATURES (Monad m, Num (m a)) => (m a -> m (m a)) -> p -> m a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/backpack/should_fail/bkpfail16.stderr b/testsuite/tests/backpack/should_fail/bkpfail16.stderr index b3bea76954..5a3595e60b 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail16.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail16.stderr @@ -2,10 +2,12 @@ [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing ) [2 of 2] Processing q Instantiating q - [1 of 1] Including p[ShouldFail=base-4.13.0.0:Data.Bool] - Instantiating p[ShouldFail=base-4.13.0.0:Data.Bool] - [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/ShouldFail.o ) + [1 of 1] Including p[ShouldFail=base-4.18.0.0:Data.Bool] + Instantiating p[ShouldFail=base-4.18.0.0:Data.Bool] + [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail16.out/p/p-Aefya42QwvI0pqnb5AwAE2/ShouldFail.o ) -bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/../ShouldFail.hi:1:1: error: - • ‘Booly’ is exported by the hsig file, but not exported by the implementing module ‘Data.Bool’ - • while checking that Data.Bool implements signature ShouldFail in p[ShouldFail=Data.Bool] +<no location info>: error: + Failed to load interface for ‘Data.Bool’ +There are files missing in the ‘base-4.18.0.0’ package, +try running 'ghc-pkg check'. +Use -v (or `:set -v` in ghci) to see a list of the files searched for. diff --git a/testsuite/tests/backpack/should_fail/bkpfail17.stderr b/testsuite/tests/backpack/should_fail/bkpfail17.stderr index 2777b503ed..9a7c76d894 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail17.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail17.stderr @@ -2,17 +2,12 @@ [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing ) [2 of 2] Processing q Instantiating q - [1 of 1] Including p[ShouldFail=base-4.16.0.0:Prelude] - Instantiating p[ShouldFail=base-4.16.0.0:Prelude] - [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail17.out/p/p-2W6J7O3LvroH97zGxbPEGF/ShouldFail.o ) + [1 of 1] Including p[ShouldFail=base-4.18.0.0:Prelude] + Instantiating p[ShouldFail=base-4.18.0.0:Prelude] + [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail17.out/p/p-GaONDR5fVXGGHs8ujvcsON/ShouldFail.o ) <no location info>: error: - • Type constructor ‘Either’ has conflicting definitions in the module - and its hsig file - Main module: type Either :: * -> * -> * - data Either a b = Left a | Right b - Hsig file: type role Either representational phantom phantom - type Either :: * -> * -> * -> * - data Either a b c = Left a - The types have different kinds - • while checking that Prelude implements signature ShouldFail in p[ShouldFail=Prelude] + Failed to load interface for ‘Prelude’ +There are files missing in the ‘base-4.18.0.0’ package, +try running 'ghc-pkg check'. +Use -v (or `:set -v` in ghci) to see a list of the files searched for. diff --git a/testsuite/tests/backpack/should_fail/bkpfail19.stderr b/testsuite/tests/backpack/should_fail/bkpfail19.stderr index a66eca5e60..47faac218d 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail19.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail19.stderr @@ -2,11 +2,12 @@ [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing ) [2 of 2] Processing q Instantiating q - [1 of 1] Including p[ShouldFail=base-4.13.0.0:Data.STRef] - Instantiating p[ShouldFail=base-4.13.0.0:Data.STRef] - [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail19.out/p/p-CfyUIAu1JTRCDuXEyGszXN/ShouldFail.o ) + [1 of 1] Including p[ShouldFail=base-4.18.0.0:Data.STRef] + Instantiating p[ShouldFail=base-4.18.0.0:Data.STRef] + [1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail19.out/p/p-6MA5x4zUd6x4e6gXQxkP9A/ShouldFail.o ) <no location info>: error: - • The hsig file (re)exports ‘Data.STRef.Lazy.newSTRef’ - but the implementing module exports a different identifier ‘GHC.STRef.newSTRef’ - • while checking that Data.STRef implements signature ShouldFail in p[ShouldFail=Data.STRef] + Failed to load interface for ‘Data.STRef’ +There are files missing in the ‘base-4.18.0.0’ package, +try running 'ghc-pkg check'. +Use -v (or `:set -v` in ghci) to see a list of the files searched for. diff --git a/testsuite/tests/dependent/ghci/T11549.stdout b/testsuite/tests/dependent/ghci/T11549.stdout index b1edea905d..f07bf4e5f8 100644 --- a/testsuite/tests/dependent/ghci/T11549.stdout +++ b/testsuite/tests/dependent/ghci/T11549.stdout @@ -1,6 +1,7 @@ -fno-print-explicit-runtime-reps ($) :: (a -> b) -> a -> b -($) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’ +($) :: (a -> b) -> a -> b + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ infixr 0 $ TYPE :: RuntimeRep -> * error :: GHC.Stack.Types.HasCallStack => [Char] -> a @@ -10,7 +11,7 @@ error :: GHC.Stack.Types.HasCallStack => [Char] -> a -fprint-explicit-runtime-reps ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ infixr 0 $ TYPE :: RuntimeRep -> * error diff --git a/testsuite/tests/dependent/ghci/T11786.stdout b/testsuite/tests/dependent/ghci/T11786.stdout index b43290bd2a..df8487e6c2 100644 --- a/testsuite/tests/dependent/ghci/T11786.stdout +++ b/testsuite/tests/dependent/ghci/T11786.stdout @@ -1,6 +1,7 @@ ($) :: (a -> b) -> a -> b (($)) :: (a -> b) -> a -> b -($) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’ +($) :: (a -> b) -> a -> b + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ infixr 0 $ ($) :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). @@ -11,5 +12,5 @@ infixr 0 $ ($) :: forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ infixr 0 $ diff --git a/testsuite/tests/dependent/should_compile/T14729.stderr b/testsuite/tests/dependent/should_compile/T14729.stderr index 0aa6ad7f10..0f25c85941 100644 --- a/testsuite/tests/dependent/should_compile/T14729.stderr +++ b/testsuite/tests/dependent/should_compile/T14729.stderr @@ -11,4 +11,4 @@ COERCION AXIOMS FAMILY INSTANCES type instance F Int = Bool -- Defined at T14729.hs:10:15 Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/dependent/should_compile/T15743.stderr b/testsuite/tests/dependent/should_compile/T15743.stderr index 65309767f3..736a69fc2c 100644 --- a/testsuite/tests/dependent/should_compile/T15743.stderr +++ b/testsuite/tests/dependent/should_compile/T15743.stderr @@ -3,4 +3,4 @@ TYPE CONSTRUCTORS forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> * roles nominal nominal nominal phantom phantom phantom Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/dependent/should_compile/T15743e.stderr b/testsuite/tests/dependent/should_compile/T15743e.stderr index 76ee6eea93..4cb8ccc454 100644 --- a/testsuite/tests/dependent/should_compile/T15743e.stderr +++ b/testsuite/tests/dependent/should_compile/T15743e.stderr @@ -54,4 +54,4 @@ DATA CONSTRUCTORS (d :: Proxy k5) (e :: Proxy k7). f c -> T k8 a b f c d e Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/determinism/determ021/determ021.stdout b/testsuite/tests/determinism/determ021/determ021.stdout index 3141769f68..2df52752be 100644 --- a/testsuite/tests/determinism/determ021/determ021.stdout +++ b/testsuite/tests/determinism/determ021/determ021.stdout @@ -5,7 +5,7 @@ TYPE SIGNATURES (Applicative f, Num t, Num b) => (t -> f b) -> f b Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] [1 of 1] Compiling A ( A.hs, A.o ) TYPE SIGNATURES test2 :: @@ -13,4 +13,4 @@ TYPE SIGNATURES (Applicative f, Num t, Num b) => (t -> f b) -> f b Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/driver/T20604/T20604.stdout b/testsuite/tests/driver/T20604/T20604.stdout index c44ef21667..4d897d55d8 100644 --- a/testsuite/tests/driver/T20604/T20604.stdout +++ b/testsuite/tests/driver/T20604/T20604.stdout @@ -1,10 +1,11 @@ A1 A -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSghc-prim-0.8.0-ghc9.5.20220622.so" 3cd9ec17e96be7de19c80aee03da0dad -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSghc-bignum-1.3-ghc9.5.20220622.so" 7c71dbe91c74e815aeb4928a4c16fd49 -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSbase-4.16.0.0-ghc9.5.20220622.so" b1260b12bcd267b0e1a3faf77ede36e4 -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSghc-boot-th-9.5-ghc9.5.20220622.so" 3eaffd72b71f9ad82898ae3e477f3115 -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSarray-0.5.4.0-ghc9.5.20220622.so" 580e9d5afc1d691b2dbfe97f9f35dc54 -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSdeepseq-1.4.7.0-ghc9.5.20220622.so" a31d063d48c6c1c7b10132d56b564497 -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHSpretty-1.1.3.6-ghc9.5.20220622.so" 7d0e89188b10c1de8c2894689ff11cac -addDependentFile "/home/matt/ghc-ben/_build/stage1/lib/../lib/x86_64-linux-ghc-9.5.20220622/libHStemplate-haskell-2.18.0.0-ghc9.5.20220622.so" 67d8b5d7026175f7e9b3e214955acc69 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSghc-prim-0.10.0-ghc9.7.20230203.so" 7697186211290e063fa56cec58b05f98 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSghc-bignum-1.3-ghc9.7.20230203.so" 88312524dfff70dce749c39fb590eb84 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSghc-base-4.18.0.0-ghc9.7.20230203.so" e847d16347d4f7915d63033fd691f304 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSbase-4.18.0.0-ghc9.7.20230203.so" c1ee79eae1407a224e255121f46eaca5 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSghc-boot-th-9.7-ghc9.7.20230203.so" 14e2f9f9c8f74cbdb12fdb3276c4dddd +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSarray-0.5.4.0-ghc9.7.20230203.so" 05fb9c569bb8bfce37022e1e9c2663da +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSdeepseq-1.4.8.0-ghc9.7.20230203.so" 3b8b0f04efda9a4186efb761a6827a53 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHSpretty-1.1.3.6-ghc9.7.20230203.so" af8403c69469ba737fbb63e1326cee21 +addDependentFile "/opt/exp/ghc/ghc-landing/_build/stage1/lib/../lib/x86_64-linux-ghc-9.7.20230203/libHStemplate-haskell-2.20.0.0-ghc9.7.20230203.so" df5dd1788979c0a0b4b6ddb1243606bc diff --git a/testsuite/tests/driver/json2.stderr b/testsuite/tests/driver/json2.stderr index 6c69d32881..42f21b014f 100644 --- a/testsuite/tests/driver/json2.stderr +++ b/testsuite/tests/driver/json2.stderr @@ -1 +1 @@ -{"span":null,"doc":"TYPE SIGNATURES\n foo :: forall a. a -> a\nDependent modules: []\nDependent packages: [base-4.16.0.0]","messageClass":"MCOutput"} +{"span":null,"doc":"TYPE SIGNATURES\n foo :: forall a. a -> a\nDependent modules: []\nDependent packages: [ghc-base-4.18.0.0]","messageClass":"MCOutput"} diff --git a/testsuite/tests/generics/T10030.stdout b/testsuite/tests/generics/T10030.stdout index 8d9f99b6ec..b20419aef0 100644 --- a/testsuite/tests/generics/T10030.stdout +++ b/testsuite/tests/generics/T10030.stdout @@ -1,2 +1,2 @@ -base +ghc-base ghc-prim diff --git a/testsuite/tests/ghci.debugger/scripts/break002.stdout b/testsuite/tests/ghci.debugger/scripts/break002.stdout index 40f07d3a1f..bd786d40ab 100644 --- a/testsuite/tests/ghci.debugger/scripts/break002.stdout +++ b/testsuite/tests/ghci.debugger/scripts/break002.stdout @@ -1,2 +1,2 @@ -Cannot set breakpoint on ‘Data.List.map’: Module ‘GHC.Base’ is not interpreted -Cannot set breakpoint on ‘Data.List.map’: Module ‘GHC.Base’ is not interpreted +Cannot set breakpoint on ‘Data.List.map’: Module ‘ghc-base:GHC.Base’ is not interpreted +Cannot set breakpoint on ‘Data.List.map’: Module ‘ghc-base:GHC.Base’ is not interpreted diff --git a/testsuite/tests/ghci.debugger/scripts/break009.stdout b/testsuite/tests/ghci.debugger/scripts/break009.stdout index 277fd16bac..cb50e76533 100644 --- a/testsuite/tests/ghci.debugger/scripts/break009.stdout +++ b/testsuite/tests/ghci.debugger/scripts/break009.stdout @@ -3,7 +3,7 @@ Stopped in Main.main, Test6.hs:5:8-11 _result :: a = _ *** Exception: Prelude.head: empty list CallStack (from HasCallStack): - error, called at libraries/base/GHC/List.hs:1590:3 in base:GHC.List - errorEmptyList, called at libraries/base/GHC/List.hs:74:11 in base:GHC.List - badHead, called at libraries/base/GHC/List.hs:70:28 in base:GHC.List + error, called at libraries/ghc-base/GHC/List.hs:1694:3 in ghc-base:GHC.List + errorEmptyList, called at libraries/ghc-base/GHC/List.hs:87:11 in ghc-base:GHC.List + badHead, called at libraries/ghc-base/GHC/List.hs:83:28 in ghc-base:GHC.List head, called at Test6.hs:1:8 in main:Main diff --git a/testsuite/tests/ghci.debugger/scripts/dynbrk001.stdout b/testsuite/tests/ghci.debugger/scripts/dynbrk001.stdout index 55c096fd1c..5ffb4c99f2 100644 --- a/testsuite/tests/ghci.debugger/scripts/dynbrk001.stdout +++ b/testsuite/tests/ghci.debugger/scripts/dynbrk001.stdout @@ -2,4 +2,5 @@ Breakpoint 1 does not exist No breakpoints found at that location. No active breakpoints. [4,8,15,16,23,42] -map :: forall a b. (a -> b) -> [a] -> [b] -- Defined in ‘GHC.Base’ +map :: forall a b. (a -> b) -> [a] -> [b] + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ diff --git a/testsuite/tests/ghci.debugger/scripts/dynbrk009.stdout b/testsuite/tests/ghci.debugger/scripts/dynbrk009.stdout deleted file mode 100644 index 96a086f91f..0000000000 --- a/testsuite/tests/ghci.debugger/scripts/dynbrk009.stdout +++ /dev/null @@ -1,7 +0,0 @@ -Stopped in Main.test.(...), dynbrk009.hs:8:22 -_result :: Int = _ -Stopped in Main.test, dynbrk009.hs:8:27-36 -_result :: Int = _ -Stopped in Main.test, dynbrk009.hs:8:31-35 -Stopped in Main.f, dynbrk009.hs:6:9 -3 diff --git a/testsuite/tests/ghci.debugger/scripts/listCommand001.stdout b/testsuite/tests/ghci.debugger/scripts/listCommand001.stdout index 5aeb38bcd6..09162eb2ce 100644 --- a/testsuite/tests/ghci.debugger/scripts/listCommand001.stdout +++ b/testsuite/tests/ghci.debugger/scripts/listCommand001.stdout @@ -1,7 +1,7 @@ Not stopped at a breakpoint; nothing to list module 'Data.List' is from another package; this command requires an interpreted module -cannot list source code for map: module GHC.Base is not interpreted +cannot list source code for map: module ghc-base:GHC.Base is not interpreted 1 mymap f [] = [] 2 mymap f (x:xs) = f x:mymap f xs 3 diff --git a/testsuite/tests/ghci/T18060/T18060.stdout b/testsuite/tests/ghci/T18060/T18060.stdout index f322bcb12c..ec662b12e7 100644 --- a/testsuite/tests/ghci/T18060/T18060.stdout +++ b/testsuite/tests/ghci/T18060/T18060.stdout @@ -2,11 +2,15 @@ type (->) :: * -> * -> * type (->) = FUN Many :: * -> * -> * -- Defined in ‘GHC.Types’ infixr -1 -> -instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’ -instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’ -instance Applicative ((->) r) -- Defined in ‘GHC.Base’ -instance Functor ((->) r) -- Defined in ‘GHC.Base’ -instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Monoid b => Monoid (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup b => Semigroup (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Applicative ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monad ((->) r) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ type (~) :: forall k. k -> k -> Constraint class (a ~ b) => (~) a b -- Defined in ‘GHC.Types’ diff --git a/testsuite/tests/ghci/scripts/T10501.stderr b/testsuite/tests/ghci/scripts/T10501.stderr index 9d41d0f211..7702a2b32e 100644 --- a/testsuite/tests/ghci/scripts/T10501.stderr +++ b/testsuite/tests/ghci/scripts/T10501.stderr @@ -1,8 +1,8 @@ *** Exception: Prelude.head: empty list CallStack (from HasCallStack): - error, called at libraries/base/GHC/List.hs:1590:3 in base:GHC.List - errorEmptyList, called at libraries/base/GHC/List.hs:74:11 in base:GHC.List - badHead, called at libraries/base/GHC/List.hs:70:28 in base:GHC.List + error, called at libraries/ghc-base/GHC/List.hs:1694:3 in ghc-base:GHC.List + errorEmptyList, called at libraries/ghc-base/GHC/List.hs:87:11 in ghc-base:GHC.List + badHead, called at libraries/ghc-base/GHC/List.hs:83:28 in ghc-base:GHC.List head, called at <interactive>:1:10 in interactive:Ghci1 *** Exception: Prelude.undefined CallStack (from HasCallStack): diff --git a/testsuite/tests/ghci/scripts/T12550.stdout b/testsuite/tests/ghci/scripts/T12550.stdout index 5c2dccb767..bd008f2644 100644 --- a/testsuite/tests/ghci/scripts/T12550.stdout +++ b/testsuite/tests/ghci/scripts/T12550.stdout @@ -15,28 +15,32 @@ type Functor :: (★ → ★) → Constraint class Functor f where fmap ∷ ∀ a b. (a → b) → f a → f b ... - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ Functor ∷ (★ → ★) → Constraint type Functor :: (★ → ★) → Constraint class Functor f where fmap ∷ ∀ a b. (a → b) → f a → f b (<$) ∷ ∀ a b. a → f b → f a {-# MINIMAL fmap #-} - -- Defined in ‘GHC.Base’ -instance ∀ a. Functor ((,) a) -- Defined in ‘GHC.Base’ -instance ∀ a b. Functor ((,,) a b) -- Defined in ‘GHC.Base’ -instance ∀ a b c. Functor ((,,,) a b c) -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance ∀ a. Functor ((,) a) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance ∀ a b. Functor ((,,) a b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance ∀ a b c. Functor ((,,,) a b c) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance ∀ a b c d. Functor ((,,,,) a b c d) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance ∀ a b c d e. Functor ((,,,,,) a b c d e) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance ∀ a b c d e f. Functor ((,,,,,,) a b c d e f) - -- Defined in ‘GHC.Base’ -instance ∀ r. Functor ((->) r) -- Defined in ‘GHC.Base’ -instance Functor IO -- Defined in ‘GHC.Base’ -instance Functor [] -- Defined in ‘GHC.Base’ -instance Functor Maybe -- Defined in ‘GHC.Base’ -instance Functor Solo -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance ∀ r. Functor ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor IO -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor [] -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor Maybe -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor Solo -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance ∀ a. Functor (Either a) -- Defined in ‘Data.Either’ instance ∀ (f ∷ ★ → ★) (g ∷ ★ → ★). (Functor f, Functor g) ⇒ diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout index 16b2ebc26a..3fd3d66a6f 100644 --- a/testsuite/tests/ghci/scripts/T4175.stdout +++ b/testsuite/tests/ghci/scripts/T4175.stdout @@ -26,8 +26,8 @@ type () :: * data () = () -- Defined in ‘GHC.Tuple.Prim’ instance [safe] C () -- Defined at T4175.hs:22:10 -instance Monoid () -- Defined in ‘GHC.Base’ -instance Semigroup () -- Defined in ‘GHC.Base’ +instance Monoid () -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup () -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Bounded () -- Defined in ‘GHC.Enum’ instance Enum () -- Defined in ‘GHC.Enum’ instance Ord () -- Defined in ‘GHC.Classes’ @@ -43,12 +43,14 @@ data Maybe a = Nothing | Just a instance Traversable Maybe -- Defined in ‘Data.Traversable’ instance MonadFail Maybe -- Defined in ‘Control.Monad.Fail’ instance Foldable Maybe -- Defined in ‘Data.Foldable’ -instance Applicative Maybe -- Defined in ‘GHC.Base’ -instance Functor Maybe -- Defined in ‘GHC.Base’ -instance Monad Maybe -- Defined in ‘GHC.Base’ -instance Semigroup a => Monoid (Maybe a) -- Defined in ‘GHC.Base’ +instance Applicative Maybe + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor Maybe -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monad Maybe -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup a => Monoid (Maybe a) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Semigroup a => Semigroup (Maybe a) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Maybe’ instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’ instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’ diff --git a/testsuite/tests/ghci/scripts/T5545.stdout b/testsuite/tests/ghci/scripts/T5545.stdout index 2262c35739..af8cb58d20 100644 --- a/testsuite/tests/ghci/scripts/T5545.stdout +++ b/testsuite/tests/ghci/scripts/T5545.stdout @@ -1,2 +1,3 @@ -($!) :: (a -> b) -> a -> b -- Defined in ‘GHC.Base’ +($!) :: (a -> b) -> a -> b + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ infixr 0 $! diff --git a/testsuite/tests/ghci/scripts/T7627.stdout b/testsuite/tests/ghci/scripts/T7627.stdout index ba4640d01b..66ab404457 100644 --- a/testsuite/tests/ghci/scripts/T7627.stdout +++ b/testsuite/tests/ghci/scripts/T7627.stdout @@ -1,8 +1,8 @@ type () :: * data () = () -- Defined in ‘GHC.Tuple.Prim’ -instance Monoid () -- Defined in ‘GHC.Base’ -instance Semigroup () -- Defined in ‘GHC.Base’ +instance Monoid () -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup () -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Bounded () -- Defined in ‘GHC.Enum’ instance Read () -- Defined in ‘GHC.Read’ instance Enum () -- Defined in ‘GHC.Enum’ @@ -21,19 +21,21 @@ data (,) a b = (,) a b -- Defined in ‘GHC.Tuple.Prim’ instance Traversable ((,) a) -- Defined in ‘Data.Traversable’ instance (Monoid a, Monoid b) => Monoid (a, b) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance (Semigroup a, Semigroup b) => Semigroup (a, b) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Foldable ((,) a) -- Defined in ‘Data.Foldable’ instance (Bounded a, Bounded b) => Bounded (a, b) -- Defined in ‘GHC.Enum’ +instance (Read a, Read b) => Read (a, b) -- Defined in ‘GHC.Read’ +instance Monoid a => Applicative ((,) a) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((,) a) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monoid a => Monad ((,) a) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‘GHC.Classes’ instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’ -instance (Read a, Read b) => Read (a, b) -- Defined in ‘GHC.Read’ instance (Show a, Show b) => Show (a, b) -- Defined in ‘GHC.Show’ -instance Monoid a => Applicative ((,) a) -- Defined in ‘GHC.Base’ -instance Functor ((,) a) -- Defined in ‘GHC.Base’ -instance Monoid a => Monad ((,) a) -- Defined in ‘GHC.Base’ type (#,#) :: * -> * -> TYPE diff --git a/testsuite/tests/ghci/scripts/T8535.stdout b/testsuite/tests/ghci/scripts/T8535.stdout index a1b640f911..221b09f220 100644 --- a/testsuite/tests/ghci/scripts/T8535.stdout +++ b/testsuite/tests/ghci/scripts/T8535.stdout @@ -2,8 +2,12 @@ type (->) :: * -> * -> * type (->) = FUN Many :: * -> * -> * -- Defined in ‘GHC.Types’ infixr -1 -> -instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’ -instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’ -instance Applicative ((->) r) -- Defined in ‘GHC.Base’ -instance Functor ((->) r) -- Defined in ‘GHC.Base’ -instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Monoid b => Monoid (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup b => Semigroup (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Applicative ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monad ((->) r) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ diff --git a/testsuite/tests/ghci/scripts/T9881.stdout b/testsuite/tests/ghci/scripts/T9881.stdout index 24923474a9..f41ffb3e3e 100644 --- a/testsuite/tests/ghci/scripts/T9881.stdout +++ b/testsuite/tests/ghci/scripts/T9881.stdout @@ -6,10 +6,10 @@ data Data.ByteString.Lazy.ByteString -- Defined in ‘Data.ByteString.Lazy.Internal’ instance Monoid Data.ByteString.Lazy.ByteString -- Defined in ‘Data.ByteString.Lazy.Internal’ -instance Read Data.ByteString.Lazy.ByteString - -- Defined in ‘Data.ByteString.Lazy.Internal’ instance Semigroup Data.ByteString.Lazy.ByteString -- Defined in ‘Data.ByteString.Lazy.Internal’ +instance Read Data.ByteString.Lazy.ByteString + -- Defined in ‘Data.ByteString.Lazy.Internal’ instance Show Data.ByteString.Lazy.ByteString -- Defined in ‘Data.ByteString.Lazy.Internal’ instance Eq Data.ByteString.Lazy.ByteString @@ -25,10 +25,10 @@ data Data.ByteString.ByteString -- Defined in ‘bytestring-0.11.4.0:Data.ByteString.Internal.Type’ instance Monoid Data.ByteString.ByteString -- Defined in ‘bytestring-0.11.4.0:Data.ByteString.Internal.Type’ -instance Read Data.ByteString.ByteString - -- Defined in ‘bytestring-0.11.4.0:Data.ByteString.Internal.Type’ instance Semigroup Data.ByteString.ByteString -- Defined in ‘bytestring-0.11.4.0:Data.ByteString.Internal.Type’ +instance Read Data.ByteString.ByteString + -- Defined in ‘bytestring-0.11.4.0:Data.ByteString.Internal.Type’ instance Show Data.ByteString.ByteString -- Defined in ‘bytestring-0.11.4.0:Data.ByteString.Internal.Type’ instance Eq Data.ByteString.ByteString diff --git a/testsuite/tests/ghci/scripts/ghci002.stdout b/testsuite/tests/ghci/scripts/ghci002.stdout index 815d6689fe..605af1bd7c 100644 --- a/testsuite/tests/ghci/scripts/ghci002.stdout +++ b/testsuite/tests/ghci/scripts/ghci002.stdout @@ -1,2 +1,6 @@ + +<no location info>: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 False False diff --git a/testsuite/tests/ghci/scripts/ghci008.stdout b/testsuite/tests/ghci/scripts/ghci008.stdout index 925ec3874f..4a099f1ef1 100644 --- a/testsuite/tests/ghci/scripts/ghci008.stdout +++ b/testsuite/tests/ghci/scripts/ghci008.stdout @@ -40,5 +40,6 @@ class (RealFrac a, Floating a) => RealFloat a where -- Defined in ‘GHC.Float’ instance RealFloat Double -- Defined in ‘GHC.Float’ instance RealFloat Float -- Defined in ‘GHC.Float’ -base-4.16.0.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool - -- Defined in ‘base-4.16.0.0:Data.OldList’ +ghc-base-4.18.0.0:Data.OldList.isPrefixOf :: + Eq a => [a] -> [a] -> Bool + -- Defined in ‘ghc-base-4.18.0.0:Data.OldList’ diff --git a/testsuite/tests/ghci/scripts/ghci011.stdout b/testsuite/tests/ghci/scripts/ghci011.stdout index 32190117fd..312f365e3c 100644 --- a/testsuite/tests/ghci/scripts/ghci011.stdout +++ b/testsuite/tests/ghci/scripts/ghci011.stdout @@ -1,23 +1,23 @@ type List :: * -> * data List a = [] | a : [a] -- Defined in ‘GHC.Types’ -instance Monoid [a] -- Defined in ‘GHC.Base’ -instance Semigroup [a] -- Defined in ‘GHC.Base’ +instance Monoid [a] -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup [a] -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Foldable [] -- Defined in ‘Data.Foldable’ instance Traversable [] -- Defined in ‘Data.Traversable’ instance Read a => Read [a] -- Defined in ‘GHC.Read’ instance Show a => Show [a] -- Defined in ‘GHC.Show’ -instance Applicative [] -- Defined in ‘GHC.Base’ -instance Functor [] -- Defined in ‘GHC.Base’ +instance Applicative [] -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor [] -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance MonadFail [] -- Defined in ‘Control.Monad.Fail’ -instance Monad [] -- Defined in ‘GHC.Base’ +instance Monad [] -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’ instance Ord a => Ord [a] -- Defined in ‘GHC.Classes’ type () :: * data () = () -- Defined in ‘GHC.Tuple.Prim’ -instance Monoid () -- Defined in ‘GHC.Base’ -instance Semigroup () -- Defined in ‘GHC.Base’ +instance Monoid () -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup () -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Read () -- Defined in ‘GHC.Read’ instance Bounded () -- Defined in ‘GHC.Enum’ instance Enum () -- Defined in ‘GHC.Enum’ @@ -29,16 +29,18 @@ data (,) a b = (,) a b -- Defined in ‘GHC.Tuple.Prim’ instance Traversable ((,) a) -- Defined in ‘Data.Traversable’ instance (Monoid a, Monoid b) => Monoid (a, b) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance (Semigroup a, Semigroup b) => Semigroup (a, b) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Foldable ((,) a) -- Defined in ‘Data.Foldable’ instance (Bounded a, Bounded b) => Bounded (a, b) -- Defined in ‘GHC.Enum’ +instance (Read a, Read b) => Read (a, b) -- Defined in ‘GHC.Read’ instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‘GHC.Classes’ instance (Ord a, Ord b) => Ord (a, b) -- Defined in ‘GHC.Classes’ -instance (Read a, Read b) => Read (a, b) -- Defined in ‘GHC.Read’ instance (Show a, Show b) => Show (a, b) -- Defined in ‘GHC.Show’ -instance Monoid a => Applicative ((,) a) -- Defined in ‘GHC.Base’ -instance Functor ((,) a) -- Defined in ‘GHC.Base’ -instance Monoid a => Monad ((,) a) -- Defined in ‘GHC.Base’ +instance Monoid a => Applicative ((,) a) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((,) a) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monoid a => Monad ((,) a) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ diff --git a/testsuite/tests/ghci/scripts/ghci020.stdout b/testsuite/tests/ghci/scripts/ghci020.stdout index a1b640f911..221b09f220 100644 --- a/testsuite/tests/ghci/scripts/ghci020.stdout +++ b/testsuite/tests/ghci/scripts/ghci020.stdout @@ -2,8 +2,12 @@ type (->) :: * -> * -> * type (->) = FUN Many :: * -> * -> * -- Defined in ‘GHC.Types’ infixr -1 -> -instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’ -instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’ -instance Applicative ((->) r) -- Defined in ‘GHC.Base’ -instance Functor ((->) r) -- Defined in ‘GHC.Base’ -instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Monoid b => Monoid (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup b => Semigroup (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Applicative ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monad ((->) r) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ diff --git a/testsuite/tests/ghci/scripts/ghci025.stdout b/testsuite/tests/ghci/scripts/ghci025.stdout index 6dce41ecc3..cdec67fdb5 100644 --- a/testsuite/tests/ghci/scripts/ghci025.stdout +++ b/testsuite/tests/ghci/scripts/ghci025.stdout @@ -15,7 +15,8 @@ c3 :: C a b => a1 -> b c4 :: C a b => a1 -> b -- imported via Control.Monad type MonadPlus :: (* -> *) -> Constraint -class (GHC.Base.Alternative m, Monad m) => MonadPlus m +class (ghc-base-4.18.0.0:GHC.Base.Alternative m, Monad m) => + MonadPlus m ... mplus :: MonadPlus m => m a -> m a -> m a mzero :: MonadPlus m => m a @@ -25,7 +26,7 @@ mzero :: MonadPlus m => m a return :: Monad m => a -> m a -- imported via Control.Monad, Prelude, T type Monad :: (* -> *) -> Constraint -class GHC.Base.Applicative m => Monad m +class ghc-base-4.18.0.0:GHC.Base.Applicative m => Monad m ... -- imported via Data.Maybe catMaybes :: [Maybe a] -> [a] diff --git a/testsuite/tests/ghci/scripts/ghci027.stdout b/testsuite/tests/ghci/scripts/ghci027.stdout index e152e7419a..7d8be00ce3 100644 --- a/testsuite/tests/ghci/scripts/ghci027.stdout +++ b/testsuite/tests/ghci/scripts/ghci027.stdout @@ -1,10 +1,12 @@ -type GHC.Base.MonadPlus :: (* -> *) -> Constraint -class (GHC.Base.Alternative m, GHC.Base.Monad m) => - GHC.Base.MonadPlus m where +type ghc-base-4.18.0.0:GHC.Base.MonadPlus :: (* -> *) -> Constraint +class (ghc-base-4.18.0.0:GHC.Base.Alternative m, + ghc-base-4.18.0.0:GHC.Base.Monad m) => + ghc-base-4.18.0.0:GHC.Base.MonadPlus m where ... mplus :: m a -> m a -> m a -type GHC.Base.MonadPlus :: (* -> *) -> Constraint -class (GHC.Base.Alternative m, GHC.Base.Monad m) => - GHC.Base.MonadPlus m where +type ghc-base-4.18.0.0:GHC.Base.MonadPlus :: (* -> *) -> Constraint +class (ghc-base-4.18.0.0:GHC.Base.Alternative m, + ghc-base-4.18.0.0:GHC.Base.Monad m) => + ghc-base-4.18.0.0:GHC.Base.MonadPlus m where ... Control.Monad.mplus :: m a -> m a -> m a diff --git a/testsuite/tests/ghci/scripts/ghci064.stdout b/testsuite/tests/ghci/scripts/ghci064.stdout index 6efaf297bb..a806259fde 100644 --- a/testsuite/tests/ghci/scripts/ghci064.stdout +++ b/testsuite/tests/ghci/scripts/ghci064.stdout @@ -1,24 +1,27 @@ instance Foldable Maybe -- Defined in ‘Data.Foldable’ instance Traversable Maybe -- Defined in ‘Data.Traversable’ -instance GHC.Base.Alternative Maybe -- Defined in ‘GHC.Base’ -instance Applicative Maybe -- Defined in ‘GHC.Base’ -instance Functor Maybe -- Defined in ‘GHC.Base’ +instance ghc-base:GHC.Base.Alternative Maybe + -- Defined in ‘ghc-base:GHC.Base’ +instance Applicative Maybe -- Defined in ‘ghc-base:GHC.Base’ +instance Functor Maybe -- Defined in ‘ghc-base:GHC.Base’ instance MonadFail Maybe -- Defined in ‘Control.Monad.Fail’ -instance GHC.Base.MonadPlus Maybe -- Defined in ‘GHC.Base’ -instance Monad Maybe -- Defined in ‘GHC.Base’ +instance ghc-base:GHC.Base.MonadPlus Maybe + -- Defined in ‘ghc-base:GHC.Base’ +instance Monad Maybe -- Defined in ‘ghc-base:GHC.Base’ instance GHC.Generics.SingKind w => GHC.Generics.SingKind (Maybe w) -- Defined in ‘GHC.Generics’ -instance Semigroup w => Monoid (Maybe w) -- Defined in ‘GHC.Base’ +instance Semigroup w => Monoid (Maybe w) + -- Defined in ‘ghc-base:GHC.Base’ instance Semigroup w => Semigroup (Maybe w) - -- Defined in ‘GHC.Base’ + -- Defined in ‘ghc-base:GHC.Base’ instance GHC.Generics.Generic (Maybe w) -- Defined in ‘GHC.Generics’ instance Read w => Read (Maybe w) -- Defined in ‘GHC.Read’ instance Ord w => Ord (Maybe w) -- Defined in ‘GHC.Maybe’ instance Show w => Show (Maybe w) -- Defined in ‘GHC.Show’ instance Eq w => Eq (Maybe w) -- Defined in ‘GHC.Maybe’ -instance Monoid [w] -- Defined in ‘GHC.Base’ -instance Semigroup [w] -- Defined in ‘GHC.Base’ +instance Monoid [w] -- Defined in ‘ghc-base:GHC.Base’ +instance Semigroup [w] -- Defined in ‘ghc-base:GHC.Base’ instance Read w => Read [w] -- Defined in ‘GHC.Read’ instance GHC.Generics.Generic [w] -- Defined in ‘GHC.Generics’ instance Eq w => Eq [w] -- Defined in ‘GHC.Classes’ @@ -27,8 +30,8 @@ instance Show w => Show [w] -- Defined in ‘GHC.Show’ instance [safe] MyShow w => MyShow [w] -- Defined at ghci064.hs:8:10 instance GHC.Generics.Generic [T] -- Defined in ‘GHC.Generics’ -instance Monoid [T] -- Defined in ‘GHC.Base’ -instance Semigroup [T] -- Defined in ‘GHC.Base’ +instance Monoid [T] -- Defined in ‘ghc-base:GHC.Base’ +instance Semigroup [T] -- Defined in ‘ghc-base:GHC.Base’ instance [safe] MyShow [T] -- Defined at ghci064.hs:8:10 instance [safe] MyShow [T] -- Defined at ghci064.hs:16:10 instance GHC.Generics.SingKind Bool -- Defined in ‘GHC.Generics’ @@ -46,4 +49,4 @@ instance Show Bool -- Defined in ‘GHC.Show’ instance Eq Bool -- Defined in ‘GHC.Classes’ instance Traversable ((,) Int) -- Defined in ‘Data.Traversable’ instance Foldable ((,) Int) -- Defined in ‘Data.Foldable’ -instance Functor ((,) Int) -- Defined in ‘GHC.Base’ +instance Functor ((,) Int) -- Defined in ‘ghc-base:GHC.Base’ diff --git a/testsuite/tests/ghci/should_run/T10145.stdout b/testsuite/tests/ghci/should_run/T10145.stdout index a1b640f911..221b09f220 100644 --- a/testsuite/tests/ghci/should_run/T10145.stdout +++ b/testsuite/tests/ghci/should_run/T10145.stdout @@ -2,8 +2,12 @@ type (->) :: * -> * -> * type (->) = FUN Many :: * -> * -> * -- Defined in ‘GHC.Types’ infixr -1 -> -instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’ -instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’ -instance Applicative ((->) r) -- Defined in ‘GHC.Base’ -instance Functor ((->) r) -- Defined in ‘GHC.Base’ -instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Monoid b => Monoid (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup b => Semigroup (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Applicative ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monad ((->) r) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ diff --git a/testsuite/tests/ghci/should_run/T18594.stdout b/testsuite/tests/ghci/should_run/T18594.stdout index 4dbca53593..8b522abefb 100644 --- a/testsuite/tests/ghci/should_run/T18594.stdout +++ b/testsuite/tests/ghci/should_run/T18594.stdout @@ -2,11 +2,15 @@ type (->) :: * -> * -> * type (->) = FUN Many :: * -> * -> * -- Defined in ‘GHC.Types’ infixr -1 -> -instance Monoid b => Monoid (a -> b) -- Defined in ‘GHC.Base’ -instance Semigroup b => Semigroup (a -> b) -- Defined in ‘GHC.Base’ -instance Applicative ((->) r) -- Defined in ‘GHC.Base’ -instance Functor ((->) r) -- Defined in ‘GHC.Base’ -instance Monad ((->) r) -- Defined in ‘GHC.Base’ +instance Monoid b => Monoid (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Semigroup b => Semigroup (a -> b) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Applicative ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Functor ((->) r) + -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ +instance Monad ((->) r) -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ type Constraint :: * type Constraint = CONSTRAINT LiftedRep -- Defined in ‘GHC.Types’ diff --git a/testsuite/tests/ghci/should_run/T21300.stdout b/testsuite/tests/ghci/should_run/T21300.stdout index 56c4297029..12052a35ad 100644 --- a/testsuite/tests/ghci/should_run/T21300.stdout +++ b/testsuite/tests/ghci/should_run/T21300.stdout @@ -2,5 +2,5 @@ Bound Ids interactive:Ghci2.it Typechecked expr do let it = (proc 'a' -> (| id \ 'b' 'c' -> returnA -< 'c' |) 'b' 'c') 'a' print it - GHC.Base.returnIO [Unsafe.Coerce.unsafeCoerce# it] + ghc-base:GHC.Base.returnIO [Unsafe.Coerce.unsafeCoerce# it] 'c' diff --git a/testsuite/tests/ghci/should_run/T8377.stdout b/testsuite/tests/ghci/should_run/T8377.stdout deleted file mode 100644 index 5caff40c4a..0000000000 --- a/testsuite/tests/ghci/should_run/T8377.stdout +++ /dev/null @@ -1 +0,0 @@ -10000 diff --git a/testsuite/tests/indexed-types/should_compile/T15711.stderr b/testsuite/tests/indexed-types/should_compile/T15711.stderr index 4815ee0496..64366014b1 100644 --- a/testsuite/tests/indexed-types/should_compile/T15711.stderr +++ b/testsuite/tests/indexed-types/should_compile/T15711.stderr @@ -3,4 +3,4 @@ TYPE CONSTRUCTORS associated type family F{2} :: forall a. Maybe a -> * roles nominal nominal Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/indexed-types/should_compile/T15852.stderr b/testsuite/tests/indexed-types/should_compile/T15852.stderr index 41dba2100e..5c44706a8b 100644 --- a/testsuite/tests/indexed-types/should_compile/T15852.stderr +++ b/testsuite/tests/indexed-types/should_compile/T15852.stderr @@ -9,4 +9,4 @@ FAMILY INSTANCES data instance forall {k1} {k2} {c :: k1} {j :: k2}. DF (Proxy c) -- Defined at T15852.hs:10:15 Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/indexed-types/should_compile/T3017.stderr b/testsuite/tests/indexed-types/should_compile/T3017.stderr index be4b88943e..fe1987a916 100644 --- a/testsuite/tests/indexed-types/should_compile/T3017.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3017.stderr @@ -20,4 +20,4 @@ CLASS INSTANCES FAMILY INSTANCES type instance Elem (ListColl a) = a -- Defined at T3017.hs:13:9 Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/module/mod150.stderr b/testsuite/tests/module/mod150.stderr index 4b49d6f4ed..f83cc7f862 100644 --- a/testsuite/tests/module/mod150.stderr +++ b/testsuite/tests/module/mod150.stderr @@ -3,5 +3,5 @@ mod150.hs:2:20: error: [GHC-69158] Conflicting exports for ‘id’: ‘module Prelude’ exports ‘Prelude.id’ imported from ‘Prelude’ at mod150.hs:2:8 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) ‘module M’ exports ‘M.id’ defined at mod150.hs:2:42 diff --git a/testsuite/tests/module/mod151.stderr b/testsuite/tests/module/mod151.stderr index 265ad86031..5ae824738d 100644 --- a/testsuite/tests/module/mod151.stderr +++ b/testsuite/tests/module/mod151.stderr @@ -1,7 +1,8 @@ mod151.hs:2:20: error: Ambiguous occurrence ‘id’ - It could refer to either ‘Prelude.id’, - imported from ‘Prelude’ at mod151.hs:2:8 - (and originally defined in ‘GHC.Base’) - or ‘M.id’, defined at mod151.hs:2:30 + It could refer to + either ‘Prelude.id’, + imported from ‘Prelude’ at mod151.hs:2:8 + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) + or ‘M.id’, defined at mod151.hs:2:30 diff --git a/testsuite/tests/module/mod152.stderr b/testsuite/tests/module/mod152.stderr index 769b45b1c5..90dd9973d6 100644 --- a/testsuite/tests/module/mod152.stderr +++ b/testsuite/tests/module/mod152.stderr @@ -1,7 +1,8 @@ mod152.hs:2:26: error: Ambiguous occurrence ‘id’ - It could refer to either ‘Prelude.id’, - imported from ‘Prelude’ at mod152.hs:2:8 - (and originally defined in ‘GHC.Base’) - or ‘M.id’, defined at mod152.hs:2:36 + It could refer to + either ‘Prelude.id’, + imported from ‘Prelude’ at mod152.hs:2:8 + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) + or ‘M.id’, defined at mod152.hs:2:36 diff --git a/testsuite/tests/module/mod153.stderr b/testsuite/tests/module/mod153.stderr index 51f14a486c..a3e45bedf8 100644 --- a/testsuite/tests/module/mod153.stderr +++ b/testsuite/tests/module/mod153.stderr @@ -1,7 +1,8 @@ mod153.hs:2:11: error: Ambiguous occurrence ‘id’ - It could refer to either ‘Prelude.id’, - imported from ‘Prelude’ at mod153.hs:2:8 - (and originally defined in ‘GHC.Base’) - or ‘M.id’, defined at mod153.hs:2:21 + It could refer to + either ‘Prelude.id’, + imported from ‘Prelude’ at mod153.hs:2:8 + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) + or ‘M.id’, defined at mod153.hs:2:21 diff --git a/testsuite/tests/module/mod155.stderr b/testsuite/tests/module/mod155.stderr index 013705654a..d20cca4f2a 100644 --- a/testsuite/tests/module/mod155.stderr +++ b/testsuite/tests/module/mod155.stderr @@ -3,5 +3,5 @@ mod155.hs:2:10: error: [GHC-69158] Conflicting exports for ‘id’: ‘module M’ exports ‘M.id’ imported from ‘Prelude’ at mod155.hs:4:1-19 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) ‘module M’ exports ‘M.id’ defined at mod155.hs:5:1 diff --git a/testsuite/tests/partial-sigs/should_compile/ADT.stderr b/testsuite/tests/partial-sigs/should_compile/ADT.stderr index 6db1e3d1a1..816640daf1 100644 --- a/testsuite/tests/partial-sigs/should_compile/ADT.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ADT.stderr @@ -5,4 +5,4 @@ TYPE CONSTRUCTORS DATA CONSTRUCTORS Foo :: forall x y z. x -> y -> z -> Foo x y z Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr1.stderr b/testsuite/tests/partial-sigs/should_compile/AddAndOr1.stderr index 127b6fc9d1..8148057707 100644 --- a/testsuite/tests/partial-sigs/should_compile/AddAndOr1.stderr +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr1.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES addAndOr1 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr2.stderr b/testsuite/tests/partial-sigs/should_compile/AddAndOr2.stderr index b17d8479c2..5f0f530a95 100644 --- a/testsuite/tests/partial-sigs/should_compile/AddAndOr2.stderr +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr2.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES addAndOr2 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr b/testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr index 588a4f002c..eb6b828996 100644 --- a/testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES addAndOr3 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr4.stderr b/testsuite/tests/partial-sigs/should_compile/AddAndOr4.stderr index e258ab7ed2..b489eae74d 100644 --- a/testsuite/tests/partial-sigs/should_compile/AddAndOr4.stderr +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr4.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES addAndOr4 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr5.stderr b/testsuite/tests/partial-sigs/should_compile/AddAndOr5.stderr index 81e3a08f0a..36b8e7456c 100644 --- a/testsuite/tests/partial-sigs/should_compile/AddAndOr5.stderr +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr5.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES addAndOr5 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/AddAndOr6.stderr b/testsuite/tests/partial-sigs/should_compile/AddAndOr6.stderr index abceb2441e..a5b8be0165 100644 --- a/testsuite/tests/partial-sigs/should_compile/AddAndOr6.stderr +++ b/testsuite/tests/partial-sigs/should_compile/AddAndOr6.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES addAndOr6 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/BoolToBool.stderr b/testsuite/tests/partial-sigs/should_compile/BoolToBool.stderr index da12cce48b..16559199f0 100644 --- a/testsuite/tests/partial-sigs/should_compile/BoolToBool.stderr +++ b/testsuite/tests/partial-sigs/should_compile/BoolToBool.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bar :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr index 7e8648e9cd..0357fc6f6d 100644 --- a/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr @@ -15,4 +15,4 @@ DATA CONSTRUCTORS FAMILY INSTANCES data instance Sing _ -- Defined at DataFamilyInstanceLHS.hs:8:15 Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Defaulting1MROn.stderr b/testsuite/tests/partial-sigs/should_compile/Defaulting1MROn.stderr index 288432e39a..c2e0e6c495 100644 --- a/testsuite/tests/partial-sigs/should_compile/Defaulting1MROn.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Defaulting1MROn.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES alpha :: Integer Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr index 549c00050f..b1f4b740bc 100644 --- a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bravo :: forall {w}. Num w => w Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr index 549c00050f..b1f4b740bc 100644 --- a/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bravo :: forall {w}. Num w => w Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Either.stderr b/testsuite/tests/partial-sigs/should_compile/Either.stderr index 806f23e505..3831f6921f 100644 --- a/testsuite/tests/partial-sigs/should_compile/Either.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Either.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES barry :: forall {w}. w -> (Either String w, Either String w) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr b/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr index b0e10c980e..c993f013c3 100644 --- a/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr +++ b/testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: forall a. (a ~ Bool) => (a, Bool) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Every.stderr b/testsuite/tests/partial-sigs/should_compile/Every.stderr index a7806d6e39..8ccc1d62cb 100644 --- a/testsuite/tests/partial-sigs/should_compile/Every.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Every.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES every :: forall {t}. (t -> Bool) -> [t] -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr b/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr index 55b3d61f9e..b7e06fae71 100644 --- a/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES every :: forall {w}. (w -> Bool) -> [w] -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExpressionSig.stderr b/testsuite/tests/partial-sigs/should_compile/ExpressionSig.stderr index da12cce48b..16559199f0 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExpressionSig.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExpressionSig.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bar :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.stderr b/testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.stderr index da12cce48b..16559199f0 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bar :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr index 3c64c81f34..8ad952721e 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr @@ -5,4 +5,4 @@ TYPE SIGNATURES arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.stderr index 4b5e8d2693..fd80ae66f6 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: String Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr index 85fcc04b19..5fe39c7760 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr @@ -236,4 +236,4 @@ TYPE SIGNATURES (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d] (||) :: Bool -> Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROff.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROff.stderr index 424ceda0e0..ea9df783c1 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROff.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROff.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: forall a. Num a => a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROn.stderr b/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROn.stderr index 424ceda0e0..ea9df783c1 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROn.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExtraNumAMROn.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: forall a. Num a => a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Forall1.stderr b/testsuite/tests/partial-sigs/should_compile/Forall1.stderr index edaf392fcc..a8f199b7ab 100644 --- a/testsuite/tests/partial-sigs/should_compile/Forall1.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Forall1.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES fall :: forall a. a -> a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/GenNamed.stderr b/testsuite/tests/partial-sigs/should_compile/GenNamed.stderr index da12cce48b..16559199f0 100644 --- a/testsuite/tests/partial-sigs/should_compile/GenNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/GenNamed.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bar :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/HigherRank1.stderr b/testsuite/tests/partial-sigs/should_compile/HigherRank1.stderr index 78309d688f..4bd71a9b0d 100644 --- a/testsuite/tests/partial-sigs/should_compile/HigherRank1.stderr +++ b/testsuite/tests/partial-sigs/should_compile/HigherRank1.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: (forall a. [a] -> [a]) -> ([Bool], [Char]) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/HigherRank2.stderr b/testsuite/tests/partial-sigs/should_compile/HigherRank2.stderr index 78309d688f..4bd71a9b0d 100644 --- a/testsuite/tests/partial-sigs/should_compile/HigherRank2.stderr +++ b/testsuite/tests/partial-sigs/should_compile/HigherRank2.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: (forall a. [a] -> [a]) -> ([Bool], [Char]) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/LocalDefinitionBug.stderr b/testsuite/tests/partial-sigs/should_compile/LocalDefinitionBug.stderr index c6d7b5cfa5..8c768b89ba 100644 --- a/testsuite/tests/partial-sigs/should_compile/LocalDefinitionBug.stderr +++ b/testsuite/tests/partial-sigs/should_compile/LocalDefinitionBug.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES monoLoc :: forall a. a -> ((a, String), (a, String)) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr b/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr index 916a898fa5..a98d11ef94 100644 --- a/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Meltdown.stderr @@ -12,4 +12,4 @@ CLASS INSTANCES -- Defined at Meltdown.hs:12:10 instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:16:10 Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.stderr b/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.stderr index c6d7b5cfa5..8c768b89ba 100644 --- a/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.stderr +++ b/testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES monoLoc :: forall a. a -> ((a, String), (a, String)) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr b/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr index b21d99f8b2..7e98f2465d 100644 --- a/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr +++ b/testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: forall b a. (a, b) -> (a, b) Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr index 837a82a207..ca75da3dea 100644 --- a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr @@ -14,4 +14,4 @@ FAMILY INSTANCES data instance Sing _a -- Defined at NamedWildcardInDataFamilyInstanceLHS.hs:8:15 Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr index 0718bd597f..c83b9b5241 100644 --- a/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr @@ -4,4 +4,4 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F :: F _t = Int Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ParensAroundContext.stderr b/testsuite/tests/partial-sigs/should_compile/ParensAroundContext.stderr index f7a9e34a0e..6cc7dac3f8 100644 --- a/testsuite/tests/partial-sigs/should_compile/ParensAroundContext.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ParensAroundContext.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES f :: forall a. Eq a => a -> a -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/PatBind.stderr b/testsuite/tests/partial-sigs/should_compile/PatBind.stderr index a795dcd27c..ff1dab93d1 100644 --- a/testsuite/tests/partial-sigs/should_compile/PatBind.stderr +++ b/testsuite/tests/partial-sigs/should_compile/PatBind.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: forall {a}. a -> a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/PatBind2.stderr b/testsuite/tests/partial-sigs/should_compile/PatBind2.stderr index 49852a1758..e2c431e3eb 100644 --- a/testsuite/tests/partial-sigs/should_compile/PatBind2.stderr +++ b/testsuite/tests/partial-sigs/should_compile/PatBind2.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/PatternSig.stderr b/testsuite/tests/partial-sigs/should_compile/PatternSig.stderr index da12cce48b..16559199f0 100644 --- a/testsuite/tests/partial-sigs/should_compile/PatternSig.stderr +++ b/testsuite/tests/partial-sigs/should_compile/PatternSig.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bar :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Recursive.stderr b/testsuite/tests/partial-sigs/should_compile/Recursive.stderr index af7fde6f8e..fc4ede0eab 100644 --- a/testsuite/tests/partial-sigs/should_compile/Recursive.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Recursive.stderr @@ -3,4 +3,4 @@ TYPE SIGNATURES g :: Bool orr :: forall a. a -> a -> a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.stderr b/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.stderr index a7cd75974c..9e5424ff9b 100644 --- a/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES test3 :: Bool -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.stderr b/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.stderr index ed05ffce9d..6a1359185a 100644 --- a/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES foo :: Bool -> Char Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr b/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr index 31d4fe1430..e3c46d30d1 100644 --- a/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES showTwo :: forall {a}. Show a => a -> String Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr b/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr index 02aa357eb9..91bd3c3735 100644 --- a/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES bar :: forall {w}. w -> Bool Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr b/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr index a611448bc5..b2403d871c 100644 --- a/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SkipMany.stderr @@ -8,4 +8,4 @@ TYPE CONSTRUCTORS DATA CONSTRUCTORS GenParser :: forall tok st a. tok -> st -> a -> GenParser tok st a Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr b/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr index 7742b5811c..a8b60cf4c9 100644 --- a/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr +++ b/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr @@ -1,7 +1,7 @@ TYPE SIGNATURES somethingShowable :: Show Bool => Bool -> String Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)] • The constraint ‘Show Bool’ matches diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index 37f5ad522b..5d86065e58 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -30,9 +30,9 @@ T10403.hs:23:15: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] h2 :: (a1 -> a2) -> f0 a1 -> H f0 (bound at T10403.hs:23:1) Probable fix: use a type annotation to specify what ‘f0’ should be. Potentially matching instances: - instance Functor IO -- Defined in ‘GHC.Base’ + instance Functor IO -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ instance Functor (B t) -- Defined at T10403.hs:11:10 - ...plus 8 others + ...plus 11 others ...plus one instance involving out-of-scope types (use -fprint-potential-instances to see them all) • In the second argument of ‘(.)’, namely ‘fmap (const ())’ @@ -43,11 +43,11 @@ T10403.hs:29:8: warning: [GHC-46956] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match type ‘f0’ with ‘B t’ Expected: H (B t) Actual: H f0 - • because type variable ‘t’ would escape its scope - This (rigid, skolem) type variable is bound by - the type signature for: - app2 :: forall t. H (B t) - at T10403.hs:28:1-15 + because type variable ‘t’ would escape its scope + This (rigid, skolem) type variable is bound by + the type signature for: + app2 :: forall t. H (B t) + at T10403.hs:28:1-15 • In the expression: h2 (H . I) (B ()) In an equation for ‘app2’: app2 = h2 (H . I) (B ()) • Relevant bindings include diff --git a/testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr b/testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr index 84f14200b1..c925ab9cb4 100644 --- a/testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr +++ b/testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr @@ -12,4 +12,4 @@ FAMILY INSTANCES type instance F Bool _ = Bool -- Defined at TypeFamilyInstanceLHS.hs:8:15 Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr index 8f6c2fb215..39f99895f9 100644 --- a/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr +++ b/testsuite/tests/partial-sigs/should_compile/Uncurry.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES unc :: forall {w1} {w2} {w3}. (w1 -> w2 -> w3) -> (w1, w2) -> w3 Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr b/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr index 8f6c2fb215..39f99895f9 100644 --- a/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr +++ b/testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr @@ -1,4 +1,4 @@ TYPE SIGNATURES unc :: forall {w1} {w2} {w3}. (w1 -> w2 -> w3) -> (w1, w2) -> w3 Dependent modules: [] -Dependent packages: [base-4.16.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr index 16a82f7aba..9f7e88da8e 100644 --- a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -2,7 +2,7 @@ TYPE SIGNATURES bar :: forall {t} {w}. t -> (t -> w) -> w foo :: forall {a}. (Show a, Enum a) => a -> String Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] WarningWildcardInstantiations.hs:5:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_a’ standing for ‘a’ diff --git a/testsuite/tests/patsyn/should_fail/unboxed-bind.stderr b/testsuite/tests/patsyn/should_fail/unboxed-bind.stderr index 745c49f24d..dff18fa89a 100644 --- a/testsuite/tests/patsyn/should_fail/unboxed-bind.stderr +++ b/testsuite/tests/patsyn/should_fail/unboxed-bind.stderr @@ -1,5 +1,4 @@ -unboxed-bind.hs:11:11: error: [GHC-21030] [-Wunbanged-strict-patterns (in -Wextra), Werror=unbanged-strict-patterns] - Pattern bindings containing unlifted types should use - an outermost bang pattern: - P arg = x +unboxed-bind.hs:5:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/patsyn/should_fail/unboxed-wrapper-naked.stderr b/testsuite/tests/patsyn/should_fail/unboxed-wrapper-naked.stderr index bb41ac1299..bf6805436c 100644 --- a/testsuite/tests/patsyn/should_fail/unboxed-wrapper-naked.stderr +++ b/testsuite/tests/patsyn/should_fail/unboxed-wrapper-naked.stderr @@ -1,3 +1,4 @@ -unboxed-wrapper-naked.hs:8:1: error: [GHC-48099] - Top-level bindings for unlifted types aren't allowed: x = P1 +unboxed-wrapper-naked.hs:4:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/polykinds/T12055a.stderr b/testsuite/tests/polykinds/T12055a.stderr index 4e19219a23..7973930655 100644 --- a/testsuite/tests/polykinds/T12055a.stderr +++ b/testsuite/tests/polykinds/T12055a.stderr @@ -1,7 +1,4 @@ -T12055a.hs:28:1: error: [GHC-80003] - • Non type-variable argument in the constraint: Category (Dom f) - • In the context: (Category (Dom f), Category (Cod f)) - While checking the super-classes of class ‘Functor’ - In the class declaration for ‘Functor’ - Suggested fix: Perhaps you intended to use FlexibleContexts +T12055a.hs:20:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/polykinds/T15592.stderr b/testsuite/tests/polykinds/T15592.stderr index 8ac2d3e185..ba276e1485 100644 --- a/testsuite/tests/polykinds/T15592.stderr +++ b/testsuite/tests/polykinds/T15592.stderr @@ -5,4 +5,4 @@ DATA CONSTRUCTORS MkT :: forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k). f a b -> T f a b -> T f a b Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/polykinds/T15592b.stderr b/testsuite/tests/polykinds/T15592b.stderr index 4353292f2c..9bf6c17417 100644 --- a/testsuite/tests/polykinds/T15592b.stderr +++ b/testsuite/tests/polykinds/T15592b.stderr @@ -4,4 +4,4 @@ TYPE CONSTRUCTORS forall k (f :: k -> *) (a :: k). f a -> * roles nominal nominal nominal nominal Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/printer/T18052a.stderr b/testsuite/tests/printer/T18052a.stderr index 6b59a80fc0..4d1b20b891 100644 --- a/testsuite/tests/printer/T18052a.stderr +++ b/testsuite/tests/printer/T18052a.stderr @@ -6,7 +6,7 @@ TYPE CONSTRUCTORS PATTERN SYNONYMS (:||:) :: forall {a} {b}. a -> b -> (a, b) Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Tidy Core ==================== Result size of Tidy Core diff --git a/testsuite/tests/rename/should_compile/T22513b.stderr b/testsuite/tests/rename/should_compile/T22513b.stderr index 0d710e8ab5..a46d309f77 100644 --- a/testsuite/tests/rename/should_compile/T22513b.stderr +++ b/testsuite/tests/rename/should_compile/T22513b.stderr @@ -1,7 +1,8 @@ + T22513b.hs:5:6: warning: [GHC-54201] [-Wterm-variable-capture] The type variable ‘id’ is implicitly quantified, even though another variable of the same name is in scope: ‘id’ imported from ‘Prelude’ at T22513b.hs:3:17-18 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) This is not forward-compatible with a planned GHC extension, RequiredTypeArguments. Suggested fix: Consider renaming the type variable. diff --git a/testsuite/tests/rename/should_compile/T22513d.stderr b/testsuite/tests/rename/should_compile/T22513d.stderr index dedf7a5002..94240ef9f0 100644 --- a/testsuite/tests/rename/should_compile/T22513d.stderr +++ b/testsuite/tests/rename/should_compile/T22513d.stderr @@ -1,7 +1,8 @@ + T22513d.hs:3:28: warning: [GHC-54201] [-Wterm-variable-capture] The type variable ‘id’ is implicitly quantified, even though another variable of the same name is in scope: ‘id’ imported from ‘Prelude’ at T22513d.hs:1:8-14 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) This is not forward-compatible with a planned GHC extension, RequiredTypeArguments. - Suggested fix: Consider renaming the type variable.
\ No newline at end of file + Suggested fix: Consider renaming the type variable. diff --git a/testsuite/tests/rename/should_compile/T22513e.stderr b/testsuite/tests/rename/should_compile/T22513e.stderr index 2598537d1d..e378531fe9 100644 --- a/testsuite/tests/rename/should_compile/T22513e.stderr +++ b/testsuite/tests/rename/should_compile/T22513e.stderr @@ -1,7 +1,8 @@ + T22513e.hs:3:14: warning: [GHC-54201] [-Wterm-variable-capture] The type variable ‘id’ is implicitly quantified, even though another variable of the same name is in scope: ‘id’ imported from ‘Prelude’ at T22513e.hs:1:8-14 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) This is not forward-compatible with a planned GHC extension, RequiredTypeArguments. - Suggested fix: Consider renaming the type variable.
\ No newline at end of file + Suggested fix: Consider renaming the type variable. diff --git a/testsuite/tests/rename/should_compile/T22513f.stderr b/testsuite/tests/rename/should_compile/T22513f.stderr index e6045be3a3..60fb49f521 100644 --- a/testsuite/tests/rename/should_compile/T22513f.stderr +++ b/testsuite/tests/rename/should_compile/T22513f.stderr @@ -1,7 +1,8 @@ + T22513f.hs:5:25: warning: [GHC-54201] [-Wterm-variable-capture] The type variable ‘id’ is implicitly quantified, even though another variable of the same name is in scope: ‘id’ imported from ‘Prelude’ at T22513f.hs:1:8-14 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) This is not forward-compatible with a planned GHC extension, RequiredTypeArguments. - Suggested fix: Consider renaming the type variable.
\ No newline at end of file + Suggested fix: Consider renaming the type variable. diff --git a/testsuite/tests/rename/should_compile/T22513h.stderr b/testsuite/tests/rename/should_compile/T22513h.stderr index 33244dd11d..07bc830bac 100644 --- a/testsuite/tests/rename/should_compile/T22513h.stderr +++ b/testsuite/tests/rename/should_compile/T22513h.stderr @@ -1,7 +1,8 @@ + T22513h.hs:6:19: warning: [GHC-54201] [-Wterm-variable-capture] The type variable ‘id’ is implicitly quantified, even though another variable of the same name is in scope: ‘id’ imported from ‘Prelude’ at T22513h.hs:1:8-14 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) This is not forward-compatible with a planned GHC extension, RequiredTypeArguments. - Suggested fix: Consider renaming the type variable.
\ No newline at end of file + Suggested fix: Consider renaming the type variable. diff --git a/testsuite/tests/rename/should_compile/T22513i.stderr b/testsuite/tests/rename/should_compile/T22513i.stderr index d99b621a47..476005d57e 100644 --- a/testsuite/tests/rename/should_compile/T22513i.stderr +++ b/testsuite/tests/rename/should_compile/T22513i.stderr @@ -1,7 +1,8 @@ + T22513i.hs:9:6: warning: [GHC-54201] [-Wterm-variable-capture] The type variable ‘id’ is implicitly quantified, even though another variable of the same name is in scope: ‘id’ imported from ‘Prelude’ at T22513i.hs:3:8-14 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) This is not forward-compatible with a planned GHC extension, RequiredTypeArguments. - Suggested fix: Consider renaming the type variable.
\ No newline at end of file + Suggested fix: Consider renaming the type variable. diff --git a/testsuite/tests/rename/should_fail/T11071.stderr b/testsuite/tests/rename/should_fail/T11071.stderr index ceb215ddb6..c0b5cd8311 100644 --- a/testsuite/tests/rename/should_fail/T11071.stderr +++ b/testsuite/tests/rename/should_fail/T11071.stderr @@ -13,8 +13,8 @@ T11071.hs:21:12: error: [GHC-76037] T11071.hs:22:12: error: [GHC-76037] Not in scope: ‘M'.foobar’ - NB: neither ‘System.IO’, - ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’. + NB: neither ‘Data.IntMap’, + ‘Data.Map’ nor ‘System.IO’ export ‘foobar’. T11071.hs:23:12: error: [GHC-76037] Not in scope: ‘Data.List.sort’ diff --git a/testsuite/tests/rename/should_fail/T11071a.stderr b/testsuite/tests/rename/should_fail/T11071a.stderr index 6ab683b74b..3d606405d9 100644 --- a/testsuite/tests/rename/should_fail/T11071a.stderr +++ b/testsuite/tests/rename/should_fail/T11071a.stderr @@ -12,8 +12,8 @@ T11071a.hs:13:12: error: [GHC-88464] ‘foldl’ (imported from Prelude), ‘foldl1’ (imported from Prelude), ‘foldr’ (imported from Prelude) • Perhaps you want to add ‘foldl'’ to one of these import lists: - ‘Data.List’ (T11071a.hs:3:1-24) ‘Data.IntMap’ (T11071a.hs:4:1-21) + ‘Data.List’ (T11071a.hs:3:1-24) T11071a.hs:14:12: error: [GHC-88464] Data constructor not in scope: Down diff --git a/testsuite/tests/rename/should_fail/rnfail029.stderr b/testsuite/tests/rename/should_fail/rnfail029.stderr index 6dc1305ffd..4fb2c200e4 100644 --- a/testsuite/tests/rename/should_fail/rnfail029.stderr +++ b/testsuite/tests/rename/should_fail/rnfail029.stderr @@ -3,6 +3,6 @@ rnfail029.hs:2:36: error: [GHC-69158] Conflicting exports for ‘map’: ‘Data.List.map’ exports ‘Data.List.map’ imported qualified from ‘Data.List’ at rnfail029.hs:3:1-26 - (and originally defined in ‘GHC.Base’) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’) ‘module ShouldFail’ exports ‘ShouldFail.map’ defined at rnfail029.hs:4:1 diff --git a/testsuite/tests/rename/should_fail/rnfail040.stderr b/testsuite/tests/rename/should_fail/rnfail040.stderr index 19f36e9a05..c894acec5d 100644 --- a/testsuite/tests/rename/should_fail/rnfail040.stderr +++ b/testsuite/tests/rename/should_fail/rnfail040.stderr @@ -3,7 +3,7 @@ rnfail040.hs:7:12: error: [GHC-69158] Conflicting exports for ‘nub’: ‘module M’ exports ‘M.nub’ imported from ‘Data.List’ at rnfail040.hs:10:2-22 - (and originally defined in ‘base-4.17.0.0:Data.OldList’) + (and originally defined in ‘ghc-base-4.18.0.0:Data.OldList’) ‘module M’ exports ‘T.nub’ imported from ‘Rnfail040_A’ at rnfail040.hs:11:2-24 (and originally defined at Rnfail040_A.hs:2:3-5) diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index a0d8de2801..9bf71091cb 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -20,7 +20,7 @@ DATA CONSTRUCTORS K2 :: forall a. a -> T2 a K1 :: forall a. a -> T1 a Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Roles1.$tcT7 diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index 49269b67c5..180b6077f0 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -6,7 +6,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Roles12.N:C2 :: C2 a = a -> a Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Roles12.$tcC2 diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index ccc7553c00..77938659da 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -6,7 +6,7 @@ DATA CONSTRUCTORS K2 :: forall a. FunPtr a -> T2 a K1 :: forall a. IO a -> T1 a Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Roles2.$tcT2 diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index 44b58bfbbe..66d06506ba 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -21,7 +21,7 @@ COERCION AXIOMS axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b axiom Roles3.N:C4 :: C4 a b = a -> F4 b -> F4 b Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Roles3.$tcC4 diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 737eb2f8c6..5dcc36b7f4 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -9,7 +9,7 @@ COERCION AXIOMS axiom Roles4.N:C1 :: C1 a = a -> a axiom Roles4.N:C3 :: C3 a = a -> Syn1 a Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Roles4.$tcC3 diff --git a/testsuite/tests/roles/should_compile/T8958.stderr b/testsuite/tests/roles/should_compile/T8958.stderr index ec5ede1aa1..0124215905 100644 --- a/testsuite/tests/roles/should_compile/T8958.stderr +++ b/testsuite/tests/roles/should_compile/T8958.stderr @@ -18,7 +18,7 @@ CLASS INSTANCES -- Defined at T8958.hs:11:10 instance [incoherent] Nominal a -- Defined at T8958.hs:8:10 Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== T8958.$tcMap diff --git a/testsuite/tests/safeHaskell/check/Check06.stderr b/testsuite/tests/safeHaskell/check/Check06.stderr index 49635306ef..67a3f49813 100644 --- a/testsuite/tests/safeHaskell/check/Check06.stderr +++ b/testsuite/tests/safeHaskell/check/Check06.stderr @@ -2,4 +2,4 @@ [2 of 2] Compiling Check06 ( Check06.hs, Check06.o ) <no location info>: error: [GHC-08674] - The package (base-4.17.0.0) is required to be trusted but it isn't! + The package (ghc-base-4.18.0.0) is required to be trusted but it isn't! diff --git a/testsuite/tests/safeHaskell/check/Check08.stderr b/testsuite/tests/safeHaskell/check/Check08.stderr index e0fed33756..881b3ec537 100644 --- a/testsuite/tests/safeHaskell/check/Check08.stderr +++ b/testsuite/tests/safeHaskell/check/Check08.stderr @@ -3,4 +3,4 @@ [3 of 3] Compiling Check08 ( Check08.hs, Check08.o ) <no location info>: error: [GHC-08674] - The package (base-4.17.0.0) is required to be trusted but it isn't! + The package (ghc-base-4.18.0.0) is required to be trusted but it isn't! diff --git a/testsuite/tests/safeHaskell/check/Check09.stderr b/testsuite/tests/safeHaskell/check/Check09.stderr index 042f2d7adf..6a29bd8177 100644 --- a/testsuite/tests/safeHaskell/check/Check09.stderr +++ b/testsuite/tests/safeHaskell/check/Check09.stderr @@ -1,8 +1,8 @@ Check09.hs:5:1: error: [GHC-75165] Prelude: Can't be safely imported! - The package (base-4.17.0.0) the module resides in isn't trusted. + The package (ghc-base-4.18.0.0) the module resides in isn't trusted. Check09.hs:6:1: error: [GHC-75165] Data.ByteString.Char8: Can't be safely imported! - The package (bytestring-0.11.3.0) the module resides in isn't trusted. + The package (bytestring-0.11.4.0) the module resides in isn't trusted. diff --git a/testsuite/tests/safeHaskell/check/pkg01/ImpSafe01.stderr b/testsuite/tests/safeHaskell/check/pkg01/ImpSafe01.stderr index 77783546c9..33b0f5c1b9 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/ImpSafe01.stderr +++ b/testsuite/tests/safeHaskell/check/pkg01/ImpSafe01.stderr @@ -1,4 +1,4 @@ ImpSafe01.hs:10:1: error: [GHC-75165] Data.Word: Can't be safely imported! - The package (base-4.17.0.0) the module resides in isn't trusted. + The package (ghc-base-4.18.0.0) the module resides in isn't trusted. diff --git a/testsuite/tests/safeHaskell/check/pkg01/ImpSafe04.stderr b/testsuite/tests/safeHaskell/check/pkg01/ImpSafe04.stderr index d25ba89d1d..0e9b2c01b2 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/ImpSafe04.stderr +++ b/testsuite/tests/safeHaskell/check/pkg01/ImpSafe04.stderr @@ -1,4 +1,4 @@ ImpSafe04.hs:10:1: error: [GHC-75165] Data.Word: Can't be safely imported! - The package (base-4.17.0.0) the module resides in isn't trusted. + The package (ghc-base-4.18.0.0) the module resides in isn't trusted. diff --git a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly03.stderr b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly03.stderr index 5400ea9ff4..f87e3f085a 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly03.stderr +++ b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly03.stderr @@ -1,4 +1,8 @@ +ImpSafeOnly03.hs:3:8: error: [GHC-75165] + Prelude: Can't be safely imported! + The package (ghc-base-4.18.0.0) the module resides in isn't trusted. + ImpSafeOnly03.hs:5:1: error: [GHC-75165] M_SafePkg3: Can't be safely imported! The package (safePkg01-1.0) the module resides in isn't trusted. diff --git a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly05.stderr b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly05.stderr index cdbb136803..1f81d7feb3 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly05.stderr +++ b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly05.stderr @@ -1,4 +1,8 @@ +ImpSafeOnly05.hs:3:8: error: [GHC-75165] + Prelude: Can't be safely imported! + The package (ghc-base-4.18.0.0) the module resides in isn't trusted. + ImpSafeOnly05.hs:5:1: error: [GHC-75165] M_SafePkg5: Can't be safely imported! The package (safePkg01-1.0) the module resides in isn't trusted. diff --git a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly07.stderr b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly07.stderr index 8576745e7c..47dcb8e8e9 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly07.stderr +++ b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly07.stderr @@ -1,6 +1,6 @@ <no location info>: error: [GHC-08674] - The package (base-4.17.0.0) is required to be trusted but it isn't! + The package (bytestring-0.11.4.0) is required to be trusted but it isn't! <no location info>: error: [GHC-08674] - The package (bytestring-0.11.3.0) is required to be trusted but it isn't! + The package (ghc-base-4.18.0.0) is required to be trusted but it isn't! diff --git a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly08.stderr b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly08.stderr index 8576745e7c..47dcb8e8e9 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly08.stderr +++ b/testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly08.stderr @@ -1,6 +1,6 @@ <no location info>: error: [GHC-08674] - The package (base-4.17.0.0) is required to be trusted but it isn't! + The package (bytestring-0.11.4.0) is required to be trusted but it isn't! <no location info>: error: [GHC-08674] - The package (bytestring-0.11.3.0) is required to be trusted but it isn't! + The package (ghc-base-4.18.0.0) is required to be trusted but it isn't! diff --git a/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout b/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout index ab1e0ae5af..b7e16a86cd 100644 --- a/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout +++ b/testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout @@ -4,7 +4,7 @@ pdb.safePkg01/local.db trusted: False M_SafePkg -trusted package dependencies: base-4.16.0.0 +trusted package dependencies: ghc-base-4.18.0.0 trusted: safe require own pkg trusted: False @@ -13,32 +13,32 @@ trusted: trustworthy require own pkg trusted: False M_SafePkg3 -trusted package dependencies: base-4.16.0.0 +trusted package dependencies: ghc-base-4.18.0.0 trusted: safe require own pkg trusted: True M_SafePkg4 -trusted package dependencies: base-4.16.0.0 +trusted package dependencies: ghc-base-4.18.0.0 trusted: safe require own pkg trusted: True M_SafePkg5 -trusted package dependencies: base-4.16.0.0 +trusted package dependencies: ghc-base-4.18.0.0 trusted: safe-inferred require own pkg trusted: True M_SafePkg6 -trusted package dependencies: base-4.16.0.0 bytestring-0.11.1.0 +trusted package dependencies: bytestring-0.11.4.0 ghc-base-4.18.0.0 trusted: trustworthy require own pkg trusted: False M_SafePkg7 -trusted package dependencies: base-4.16.0.0 bytestring-0.11.1.0 +trusted package dependencies: bytestring-0.11.4.0 ghc-base-4.18.0.0 trusted: safe require own pkg trusted: False M_SafePkg8 -trusted package dependencies: bytestring-0.11.1.0 +trusted package dependencies: bytestring-0.11.4.0 trusted: trustworthy require own pkg trusted: False diff --git a/testsuite/tests/safeHaskell/flags/SafeFlags17.stderr b/testsuite/tests/safeHaskell/flags/SafeFlags17.stderr index f8a7377058..ebc7c8deca 100644 --- a/testsuite/tests/safeHaskell/flags/SafeFlags17.stderr +++ b/testsuite/tests/safeHaskell/flags/SafeFlags17.stderr @@ -1,4 +1,4 @@ SafeFlags17.hs:5:8: error: [GHC-75165] Prelude: Can't be safely imported! - The package (base-4.17.0.0) the module resides in isn't trusted. + The package (ghc-base-4.18.0.0) the module resides in isn't trusted. diff --git a/testsuite/tests/simplCore/should_compile/str-rules.stdout b/testsuite/tests/simplCore/should_compile/str-rules.stdout deleted file mode 100644 index a3f3ae899d..0000000000 --- a/testsuite/tests/simplCore/should_compile/str-rules.stdout +++ /dev/null @@ -1,3 +0,0 @@ -"@@@ ab"# -"@@@ d"# -"@@@ e"# diff --git a/testsuite/tests/th/T10267.stderr b/testsuite/tests/th/T10267.stderr index a6e6aa71e5..db850b4488 100644 --- a/testsuite/tests/th/T10267.stderr +++ b/testsuite/tests/th/T10267.stderr @@ -16,7 +16,7 @@ T10267.hs:8:1: error: [GHC-88464] id :: forall a. a -> a with id @a (imported from ‘Prelude’ at T10267.hs:3:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T10267.hs:8:1: error: [GHC-88464] • Found hole: _ :: a diff --git a/testsuite/tests/th/T21547.stderr b/testsuite/tests/th/T21547.stderr index a37b98aa85..9e1d62b2c5 100644 --- a/testsuite/tests/th/T21547.stderr +++ b/testsuite/tests/th/T21547.stderr @@ -1,7 +1,7 @@ T21547.hs:9:14: error: • GHC stage restriction: - instance for ‘base-4.16.0.0:Data.Typeable.Internal.Typeable + instance for ‘ghc-base-4.18.0.0:Data.Typeable.Internal.Typeable T’ is used in a top-level splice, quasi-quote, or annotation, and must be imported, not defined locally • In the expression: foo [|| T () ||] diff --git a/testsuite/tests/th/TH_Roles2.stderr b/testsuite/tests/th/TH_Roles2.stderr index 31aaf22c87..7067d93d87 100644 --- a/testsuite/tests/th/TH_Roles2.stderr +++ b/testsuite/tests/th/TH_Roles2.stderr @@ -2,7 +2,7 @@ TYPE CONSTRUCTORS data type T{2} :: forall k. k -> * roles nominal representational Dependent modules: [] -Dependent packages: [base-4.17.0.0, template-haskell-2.19.0.0] +Dependent packages: [ghc-base-4.18.0.0, template-haskell-2.20.0.0] ==================== Typechecker ==================== TH_Roles2.$tcT diff --git a/testsuite/tests/th/TH_exn2.stderr b/testsuite/tests/th/TH_exn2.stderr index a7fefabc78..493661766f 100644 --- a/testsuite/tests/th/TH_exn2.stderr +++ b/testsuite/tests/th/TH_exn2.stderr @@ -3,8 +3,8 @@ TH_exn2.hs:1:1: error: [GHC-87897] Exception when trying to run compile-time code: Prelude.tail: empty list CallStack (from HasCallStack): - error, called at libraries/base/GHC/List.hs:1650:3 in base:GHC.List - errorEmptyList, called at libraries/base/GHC/List.hs:130:28 in base:GHC.List + error, called at libraries/ghc-base/GHC/List.hs:1694:3 in ghc-base:GHC.List + errorEmptyList, called at libraries/ghc-base/GHC/List.hs:130:28 in ghc-base:GHC.List tail, called at TH_exn2.hs:10:17 in main:TH Code: (do ds <- [d| |] return (tail ds)) diff --git a/testsuite/tests/th/TH_namePackage.stdout b/testsuite/tests/th/TH_namePackage.stdout index b6890dd4dc..fd6979ab14 100644 --- a/testsuite/tests/th/TH_namePackage.stdout +++ b/testsuite/tests/th/TH_namePackage.stdout @@ -4,6 +4,6 @@ Just "Data.Either" Nothing Just "Module" -Just "base" +Just "ghc-base" Nothing Nothing diff --git a/testsuite/tests/typecheck/should_compile/T12763.stderr b/testsuite/tests/typecheck/should_compile/T12763.stderr index 648ebe25f3..a49b212734 100644 --- a/testsuite/tests/typecheck/should_compile/T12763.stderr +++ b/testsuite/tests/typecheck/should_compile/T12763.stderr @@ -8,4 +8,4 @@ COERCION AXIOMS CLASS INSTANCES instance C Int -- Defined at T12763.hs:9:10 Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/typecheck/should_compile/T13050.stderr b/testsuite/tests/typecheck/should_compile/T13050.stderr index 53a4679779..9393be57df 100644 --- a/testsuite/tests/typecheck/should_compile/T13050.stderr +++ b/testsuite/tests/typecheck/should_compile/T13050.stderr @@ -18,11 +18,11 @@ T13050.hs:4:9: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 @@ -78,11 +78,11 @@ T13050.hs:4:9: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T13050.hs:5:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int -> Int -> Int @@ -103,11 +103,11 @@ T13050.hs:5:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 @@ -163,11 +163,11 @@ T13050.hs:5:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T13050.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _a :: Int -> Int -> Int @@ -189,11 +189,11 @@ T13050.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 @@ -249,8 +249,8 @@ T13050.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T13050.hs:1:8-17 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) diff --git a/testsuite/tests/typecheck/should_compile/T14273.stderr b/testsuite/tests/typecheck/should_compile/T14273.stderr index 050bb5fd2e..bf1df18745 100644 --- a/testsuite/tests/typecheck/should_compile/T14273.stderr +++ b/testsuite/tests/typecheck/should_compile/T14273.stderr @@ -11,7 +11,7 @@ T14273.hs:7:27: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] -- Defined in ‘Data.Either’ instance Show Ordering -- Defined in ‘GHC.Show’ ...plus 26 others - ...plus 28 instances involving out-of-scope types + ...plus 29 instances involving out-of-scope types (use -fprint-potential-instances to see them all) • In the first argument of ‘Just’, namely ‘(show _a)’ In the expression: Just (show _a) @@ -33,7 +33,7 @@ T14273.hs:7:32: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] k :: String (bound at T14273.hs:10:1) otherwise :: Bool (imported from ‘Prelude’ at T14273.hs:1:8-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) False :: Bool (imported from ‘Prelude’ at T14273.hs:1:8-40 (and originally defined in ‘GHC.Types’)) @@ -64,7 +64,7 @@ T14273.hs:13:10: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] -- Defined in ‘Data.Either’ instance Show Ordering -- Defined in ‘GHC.Show’ ...plus 26 others - ...plus 28 instances involving out-of-scope types + ...plus 29 instances involving out-of-scope types (use -fprint-potential-instances to see them all) • In the expression: show (_h ++ []) In an equation for ‘foo’: foo xs = show (_h ++ []) diff --git a/testsuite/tests/typecheck/should_compile/T14590.stderr b/testsuite/tests/typecheck/should_compile/T14590.stderr index 827ead2a25..75bbdebb6f 100644 --- a/testsuite/tests/typecheck/should_compile/T14590.stderr +++ b/testsuite/tests/typecheck/should_compile/T14590.stderr @@ -20,11 +20,11 @@ T14590.hs:4:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 @@ -80,11 +80,11 @@ T14590.hs:4:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T14590.hs:5:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _a :: Int -> Int -> Int @@ -108,11 +108,11 @@ T14590.hs:5:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 @@ -168,11 +168,11 @@ T14590.hs:5:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T14590.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Int -> Int -> Int @@ -194,11 +194,11 @@ T14590.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 @@ -254,11 +254,11 @@ T14590.hs:6:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T14590.hs:7:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _a :: Int -> Int -> Int @@ -281,11 +281,11 @@ T14590.hs:7:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] asTypeOf :: forall a. a -> a -> a with asTypeOf @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const :: forall a b. a -> b -> a with const @Int @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) subtract :: forall a. Num a => a -> a -> a with subtract @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 @@ -341,8 +341,8 @@ T14590.hs:7:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Int) @Int (imported from ‘Prelude’ at T14590.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) diff --git a/testsuite/tests/typecheck/should_compile/T18406b.stderr b/testsuite/tests/typecheck/should_compile/T18406b.stderr index 179b81a639..04f4831f24 100644 --- a/testsuite/tests/typecheck/should_compile/T18406b.stderr +++ b/testsuite/tests/typecheck/should_compile/T18406b.stderr @@ -6,7 +6,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Bug.N:C :: forall a b. C a b = a -> a Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Bug.$tcC diff --git a/testsuite/tests/typecheck/should_compile/T18529.stderr b/testsuite/tests/typecheck/should_compile/T18529.stderr index 71542931fc..efd7b225af 100644 --- a/testsuite/tests/typecheck/should_compile/T18529.stderr +++ b/testsuite/tests/typecheck/should_compile/T18529.stderr @@ -6,7 +6,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Bug.N:C :: forall a b. C a b = a -> b -> () Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] ==================== Typechecker ==================== Bug.$tcC diff --git a/testsuite/tests/typecheck/should_compile/T21023.stderr b/testsuite/tests/typecheck/should_compile/T21023.stderr index 5a21342a4e..b84a9e1057 100644 --- a/testsuite/tests/typecheck/should_compile/T21023.stderr +++ b/testsuite/tests/typecheck/should_compile/T21023.stderr @@ -2,4 +2,4 @@ TYPE SIGNATURES f :: forall {a}. a -> (a, Integer) x :: Integer Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [ghc-base-4.18.0.0] diff --git a/testsuite/tests/typecheck/should_compile/T9497a.stderr b/testsuite/tests/typecheck/should_compile/T9497a.stderr index adb6f4cc56..c691dde43f 100644 --- a/testsuite/tests/typecheck/should_compile/T9497a.stderr +++ b/testsuite/tests/typecheck/should_compile/T9497a.stderr @@ -13,4 +13,4 @@ T9497a.hs:2:8: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] mempty :: forall a. Monoid a => a with mempty @(IO ()) (imported from ‘Prelude’ at T9497a.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) diff --git a/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr index 6dc4f2ba0a..06dafd5921 100644 --- a/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/refinement_hole_fits.stderr @@ -64,27 +64,27 @@ refinement_hole_fits.hs:4:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] where const :: forall a b. a -> b -> a with const @Integer @[Integer] (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) ($) (_ :: [Integer] -> Integer) where ($) :: forall a b. (a -> b) -> a -> b with ($) @GHC.Types.LiftedRep @[Integer] @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) ($!) (_ :: [Integer] -> Integer) where ($!) :: forall a b. (a -> b) -> a -> b with ($!) @GHC.Types.LiftedRep @[Integer] @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) return (_ :: Integer) where return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) [Integer]) @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure (_ :: Integer) where pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) [Integer]) @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) j (_ :: [Integer] -> Integer) where j :: forall a. a -> a with j @([Integer] -> Integer) @@ -93,7 +93,7 @@ refinement_hole_fits.hs:4:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] where id :: forall a. a -> a with id @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) head (_ :: [[Integer] -> Integer]) where head :: forall a. GHC.Stack.Types.HasCallStack => [a] -> a with head @([Integer] -> Integer) @@ -108,7 +108,7 @@ refinement_hole_fits.hs:4:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] where asTypeOf :: forall a. a -> a -> a with asTypeOf @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) (!!) (_ :: [[Integer] -> Integer]) (_ :: Int) where (!!) :: forall a. GHC.Stack.Types.HasCallStack => @@ -127,15 +127,15 @@ refinement_hole_fits.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] const :: forall a b. a -> b -> a with const @Integer @[Integer] (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) [Integer]) @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) [Integer]) @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) Valid refinement hole fits include foldl (_ :: Integer -> Integer -> Integer) where foldl :: forall (t :: * -> *) b a. @@ -160,32 +160,32 @@ refinement_hole_fits.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] where flip :: forall a b c. (a -> b -> c) -> b -> a -> c with flip @[Integer] @Integer @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) const (_ :: [Integer] -> Integer) where const :: forall a b. a -> b -> a with const @([Integer] -> Integer) @Integer (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) ($) (_ :: Integer -> [Integer] -> Integer) where ($) :: forall a b. (a -> b) -> a -> b with ($) @GHC.Types.LiftedRep @Integer @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) ($!) (_ :: Integer -> [Integer] -> Integer) where ($!) :: forall a b. (a -> b) -> a -> b with ($!) @GHC.Types.LiftedRep @Integer @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) return (_ :: [Integer] -> Integer) where return :: forall (m :: * -> *) a. Monad m => a -> m a with return @((->) Integer) @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure (_ :: [Integer] -> Integer) where pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @((->) Integer) @([Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) j (_ :: Integer -> [Integer] -> Integer) where j :: forall a. a -> a with j @(Integer -> [Integer] -> Integer) @@ -194,7 +194,7 @@ refinement_hole_fits.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] where id :: forall a. a -> a with id @(Integer -> [Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) head (_ :: [Integer -> [Integer] -> Integer]) where head :: forall a. GHC.Stack.Types.HasCallStack => [a] -> a with head @(Integer -> [Integer] -> Integer) @@ -210,7 +210,7 @@ refinement_hole_fits.hs:7:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] where asTypeOf :: forall a. a -> a -> a with asTypeOf @(Integer -> [Integer] -> Integer) (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) (!!) (_ :: [Integer -> [Integer] -> Integer]) (_ :: Int) where (!!) :: forall a. GHC.Stack.Types.HasCallStack => diff --git a/testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr index c1b3e3c12b..64701cf7e3 100644 --- a/testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr @@ -8,10 +8,10 @@ subsumption_sort_hole_fits.hs:2:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdef Valid hole fits include lines :: String -> [String] (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 - (and originally defined in ‘base-4.17.0.0:Data.OldList’)) + (and originally defined in ‘ghc-base-4.18.0.0:Data.OldList’)) words :: String -> [String] (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 - (and originally defined in ‘base-4.17.0.0:Data.OldList’)) + (and originally defined in ‘ghc-base-4.18.0.0:Data.OldList’)) read :: forall a. Read a => String -> a with read @[String] (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 @@ -23,7 +23,7 @@ subsumption_sort_hole_fits.hs:2:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdef mempty :: forall a. Monoid a => a with mempty @(String -> [String]) (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) fail :: forall (m :: * -> *) a. MonadFail m => String -> m a with fail @[] @String (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 @@ -31,8 +31,8 @@ subsumption_sort_hole_fits.hs:2:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdef return :: forall (m :: * -> *) a. Monad m => a -> m a with return @[] @String (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @[] @String (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) diff --git a/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr b/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr index 4ef63821ca..fe9be7157d 100644 --- a/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr +++ b/testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr @@ -33,11 +33,11 @@ valid_hole_fits.hs:17:17: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @IO @Int (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @IO @Int (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) valid_hole_fits.hs:21:8: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: [Maybe a] -> [a] @@ -56,7 +56,7 @@ valid_hole_fits.hs:21:8: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] mempty :: forall a. Monoid a => a with mempty @([Maybe a] -> [a]) (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) valid_hole_fits.hs:24:9: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: Integer -> ValidHoleFits.Moo @@ -86,11 +86,11 @@ valid_hole_fits.hs:27:5: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] return :: forall (m :: * -> *) a. Monad m => a -> m a with return @Maybe @Integer (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) pure :: forall (f :: * -> *) a. Applicative f => a -> f a with pure @Maybe @Integer (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) valid_hole_fits.hs:30:10: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: a1 @@ -106,7 +106,7 @@ valid_hole_fits.hs:30:10: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] h :: String (bound at valid_hole_fits.hs:34:1) otherwise :: Bool (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) False :: Bool (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 (and originally defined in ‘GHC.Types’)) @@ -154,7 +154,7 @@ valid_hole_fits.hs:34:11: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] id :: forall a. a -> a with id @Bool (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) repeat :: forall a. a -> [a] with repeat @Bool (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 @@ -186,7 +186,7 @@ valid_hole_fits.hs:34:14: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] Valid hole fits include otherwise :: Bool (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) False :: Bool (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 (and originally defined in ‘GHC.Types’)) @@ -219,7 +219,7 @@ valid_hole_fits.hs:38:10: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] (<$) :: forall (f :: * -> *) a b. Functor f => a -> f b -> f a with (<$) @[] @a @a (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) seq :: forall a b. a -> b -> b with seq @a @[a] (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 @@ -227,7 +227,7 @@ valid_hole_fits.hs:38:10: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] mempty :: forall a. Monoid a => a with mempty @(a -> [a] -> [a]) (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) valid_hole_fits.hs:41:8: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] • Found hole: _ :: String -> IO () @@ -256,4 +256,4 @@ valid_hole_fits.hs:41:8: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] mempty :: forall a. Monoid a => a with mempty @(String -> IO ()) (imported from ‘Prelude’ at valid_hole_fits.hs:3:1-40 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) diff --git a/testsuite/tests/typecheck/should_fail/T13292.stderr b/testsuite/tests/typecheck/should_fail/T13292.stderr index d56f7ce2bb..2e9f019c20 100644 --- a/testsuite/tests/typecheck/should_fail/T13292.stderr +++ b/testsuite/tests/typecheck/should_fail/T13292.stderr @@ -6,8 +6,8 @@ T13292a.hs:4:12: warning: [GHC-39999] [-Wdeferred-type-errors (in -Wdefault)] someFunc :: m0 () (bound at T13292a.hs:4:1) Probable fix: use a type annotation to specify what ‘m0’ should be. Potentially matching instances: - instance Monad IO -- Defined in ‘GHC.Base’ - instance Monad Maybe -- Defined in ‘GHC.Base’ + instance Monad IO -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ + instance Monad Maybe -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ ...plus six others ...plus one instance involving out-of-scope types (use -fprint-potential-instances to see them all) diff --git a/testsuite/tests/typecheck/should_fail/T14884.stderr b/testsuite/tests/typecheck/should_fail/T14884.stderr index 5ce38cdecb..bc0a379e99 100644 --- a/testsuite/tests/typecheck/should_fail/T14884.stderr +++ b/testsuite/tests/typecheck/should_fail/T14884.stderr @@ -21,15 +21,15 @@ T14884.hs:4:5: error: [GHC-88464] id :: forall a. a -> a with id @(String -> IO ()) (imported from ‘Prelude’ at T14884.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) ($) :: forall a b. (a -> b) -> a -> b with ($) @GHC.Types.LiftedRep @String @(IO ()) (imported from ‘Prelude’ at T14884.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) ($!) :: forall a b. (a -> b) -> a -> b with ($!) @GHC.Types.LiftedRep @String @(IO ()) (imported from ‘Prelude’ at T14884.hs:1:8-13 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) T14884.hs:4:7: error: [GHC-39999] • Ambiguous type variable ‘a0’ arising from a use of ‘print’ diff --git a/testsuite/tests/typecheck/should_fail/T3323.stderr b/testsuite/tests/typecheck/should_fail/T3323.stderr index cb2d52f21d..9f50a7e648 100644 --- a/testsuite/tests/typecheck/should_fail/T3323.stderr +++ b/testsuite/tests/typecheck/should_fail/T3323.stderr @@ -3,12 +3,12 @@ T3323.hs:18:7: error: [GHC-39999] • Could not deduce ‘GHC.IO.Device.RawIO dev0’ from the context: (GHC.IO.Device.RawIO dev, GHC.IO.Device.IODevice dev, GHC.IO.BufferedIO.BufferedIO dev, - base-4.17.0.0:Data.Typeable.Internal.Typeable dev) + ghc-base-4.18.0.0:Data.Typeable.Internal.Typeable dev) bound by a pattern with constructor: Handle__ :: forall dev enc_state dec_state. (GHC.IO.Device.RawIO dev, GHC.IO.Device.IODevice dev, GHC.IO.BufferedIO.BufferedIO dev, - base-4.17.0.0:Data.Typeable.Internal.Typeable dev) => + ghc-base-4.18.0.0:Data.Typeable.Internal.Typeable dev) => dev -> HandleType -> GHC.IORef.IORef (GHC.IO.Buffer.Buffer GHC.Word.Word8) diff --git a/testsuite/tests/typecheck/should_fail/T9497d.stderr b/testsuite/tests/typecheck/should_fail/T9497d.stderr index 26db2363ad..12d75b746f 100644 --- a/testsuite/tests/typecheck/should_fail/T9497d.stderr +++ b/testsuite/tests/typecheck/should_fail/T9497d.stderr @@ -13,4 +13,4 @@ T9497d.hs:2:8: error: [GHC-88464] mempty :: forall a. Monoid a => a with mempty @(IO ()) (imported from ‘Prelude’ at T9497d.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) diff --git a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr index ea0cc08f44..fb063ad0f6 100644 --- a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr +++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr @@ -1,13 +1,14 @@ TcStaticPointersFail02.hs:9:6: error: [GHC-39999] - • No instance for ‘base-4.17.0.0:Data.Typeable.Internal.Typeable b’ + • No instance for ‘ghc-base-4.18.0.0:Data.Typeable.Internal.Typeable + b’ arising from a static form • In the expression: static (undefined :: (forall a. a -> a) -> b) In an equation for ‘f1’: f1 = static (undefined :: (forall a. a -> a) -> b) TcStaticPointersFail02.hs:12:6: error: [GHC-39999] - • No instance for ‘base-4.17.0.0:Data.Typeable.Internal.Typeable + • No instance for ‘ghc-base-4.18.0.0:Data.Typeable.Internal.Typeable (Monad m => a -> m a)’ arising from a static form (maybe you haven't applied a function to enough arguments?) diff --git a/testsuite/tests/typecheck/should_fail/tcfail075.stderr b/testsuite/tests/typecheck/should_fail/tcfail075.stderr index 758650f8d7..35b2eed09b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail075.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail075.stderr @@ -1,6 +1,4 @@ -tcfail075.hs:10:1: error: [GHC-48099] - Top-level bindings for unlifted types aren't allowed: x = 1# - -tcfail075.hs:13:1: error: [GHC-48099] - Top-level bindings for unlifted types aren't allowed: y = x +# 1# +tcfail075.hs:7:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/typecheck/should_fail/tcfail090.stderr b/testsuite/tests/typecheck/should_fail/tcfail090.stderr index 18f389b75f..e789b0f023 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail090.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail090.stderr @@ -1,8 +1,4 @@ -tcfail090.hs:11:9: error: [GHC-18872] - • Couldn't match a lifted type with an unlifted type - When matching types - a0 :: * - ByteArray# :: UnliftedType - • In the expression: my_undefined - In an equation for ‘die’: die _ = my_undefined +tcfail090.hs:5:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/typecheck/should_fail/tcfail095.stderr b/testsuite/tests/typecheck/should_fail/tcfail095.stderr index d0cbab168c..650d90a4f7 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail095.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail095.stderr @@ -1,3 +1,4 @@ -tcfail095.hs:9:1: error: [GHC-48099] - Top-level bindings for unlifted types aren't allowed: x = 1# +tcfail095.hs:7:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/typecheck/should_fail/tcfail164.stderr b/testsuite/tests/typecheck/should_fail/tcfail164.stderr index f961a145d8..e2dd026bf1 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail164.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail164.stderr @@ -1,15 +1,4 @@ -tcfail164.hs:11:5: error: [GHC-08522] - • Bad call to tagToEnum# at type a - Specify the type by giving a type signature - e.g. (tagToEnum# x) :: Bool - • In the expression: tagToEnum# 0# - In an equation for ‘f’: f = tagToEnum# 0# - -tcfail164.hs:17:34: error: [GHC-49356] - • Bad call to tagToEnum# at type Int - Result type must be an enumeration type - • In the expression: tagToEnum# value# - In an equation for ‘readUnboxable’: - readUnboxable (I# value#) = tagToEnum# value# - In the instance declaration for ‘Unboxable Int’ +tcfail164.hs:7:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/typecheck/should_fail/tcfail181.stderr b/testsuite/tests/typecheck/should_fail/tcfail181.stderr index 8579f513e0..f8f132b63a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail181.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail181.stderr @@ -7,8 +7,8 @@ tcfail181.hs:17:9: error: [GHC-39999] at tcfail181.hs:17:1-30 The type variable ‘m0’ is ambiguous Potentially matching instances: - instance Monad IO -- Defined in ‘GHC.Base’ - instance Monad Maybe -- Defined in ‘GHC.Base’ + instance Monad IO -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ + instance Monad Maybe -- Defined in ‘ghc-base-4.18.0.0:GHC.Base’ ...plus six others ...plus one instance involving out-of-scope types (use -fprint-potential-instances to see them all) diff --git a/testsuite/tests/typecheck/should_fail/tcfail182.stderr b/testsuite/tests/typecheck/should_fail/tcfail182.stderr index db8063b3aa..a66614087b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail182.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail182.stderr @@ -3,7 +3,7 @@ tcfail182.hs:9:3: error: [GHC-83865] • Couldn't match expected type: Prelude.Maybe a with actual type: Maybe a0 NB: ‘Prelude.Maybe’ - is defined in ‘GHC.Maybe’ in package ‘base-4.17.0.0’ + is defined in ‘GHC.Maybe’ in package ‘ghc-base-4.18.0.0’ ‘Maybe’ is defined at tcfail182.hs:6:1-18 • In the pattern: Foo In an equation for ‘f’: f Foo = 3 diff --git a/testsuite/tests/typecheck/should_fail/tcfail203a.stderr b/testsuite/tests/typecheck/should_fail/tcfail203a.stderr index 5d6a9c86fc..390ae0e55a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail203a.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail203a.stderr @@ -1,5 +1,4 @@ -tcfail203a.hs:10:17: error: [GHC-17879] - A lazy (~) pattern cannot bind variables of unlifted type. - Unlifted variables: - x :: Int# +tcfail203a.hs:7:1: error: + Ambiguous module name ‘GHC.Base’: + it was found in multiple packages: base-4.18.0.0 ghc-base-4.18.0.0 diff --git a/testsuite/tests/typecheck/should_run/T9497a-run.stderr b/testsuite/tests/typecheck/should_run/T9497a-run.stderr index 22336ece3a..0fca199610 100644 --- a/testsuite/tests/typecheck/should_run/T9497a-run.stderr +++ b/testsuite/tests/typecheck/should_run/T9497a-run.stderr @@ -1,4 +1,4 @@ -T9497a-run.exe: T9497a-run.hs:2:8: error: [GHC-88464] +T9497a-run: T9497a-run.hs:2:8: error: [GHC-88464] • Found hole: _main :: IO () Or perhaps ‘_main’ is mis-spelled, or not in scope • In an equation for ‘main’: main = _main @@ -13,5 +13,5 @@ T9497a-run.exe: T9497a-run.hs:2:8: error: [GHC-88464] mempty :: forall a. Monoid a => a with mempty @(IO ()) (imported from ‘Prelude’ at T9497a-run.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) (deferred type error) diff --git a/testsuite/tests/typecheck/should_run/T9497b-run.stderr b/testsuite/tests/typecheck/should_run/T9497b-run.stderr index c82f266940..890154515c 100644 --- a/testsuite/tests/typecheck/should_run/T9497b-run.stderr +++ b/testsuite/tests/typecheck/should_run/T9497b-run.stderr @@ -1,4 +1,4 @@ -T9497b-run.exe: T9497b-run.hs:2:8: error: [GHC-88464] +T9497b-run: T9497b-run.hs:2:8: error: [GHC-88464] • Found hole: _main :: IO () Or perhaps ‘_main’ is mis-spelled, or not in scope • In an equation for ‘main’: main = _main @@ -13,5 +13,5 @@ T9497b-run.exe: T9497b-run.hs:2:8: error: [GHC-88464] mempty :: forall a. Monoid a => a with mempty @(IO ()) (imported from ‘Prelude’ at T9497b-run.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) (deferred type error) diff --git a/testsuite/tests/typecheck/should_run/T9497c-run.stderr b/testsuite/tests/typecheck/should_run/T9497c-run.stderr index 169a1ce54f..40f798c26d 100644 --- a/testsuite/tests/typecheck/should_run/T9497c-run.stderr +++ b/testsuite/tests/typecheck/should_run/T9497c-run.stderr @@ -1,4 +1,4 @@ -T9497c-run.exe: T9497c-run.hs:2:8: error: [GHC-88464] +T9497c-run: T9497c-run.hs:2:8: error: [GHC-88464] • Found hole: _main :: IO () Or perhaps ‘_main’ is mis-spelled, or not in scope • In an equation for ‘main’: main = _main @@ -13,5 +13,5 @@ T9497c-run.exe: T9497c-run.hs:2:8: error: [GHC-88464] mempty :: forall a. Monoid a => a with mempty @(IO ()) (imported from ‘Prelude’ at T9497c-run.hs:1:1 - (and originally defined in ‘GHC.Base’)) + (and originally defined in ‘ghc-base-4.18.0.0:GHC.Base’)) (deferred type error) diff --git a/testsuite/tests/warnings/should_compile/UnusedPackages.stderr b/testsuite/tests/warnings/should_compile/UnusedPackages.stderr index 6323ede3ff..bd21ae886a 100644 --- a/testsuite/tests/warnings/should_compile/UnusedPackages.stderr +++ b/testsuite/tests/warnings/should_compile/UnusedPackages.stderr @@ -2,8 +2,9 @@ <no location info>: warning: [GHC-42258] [-Wunused-packages] The following packages were specified via -package or -package-id flags, but were not needed for compilation: - - bytestring-0.11.3.0 (exposed by flag -package bytestring) - - ghc-9.5 (exposed by flag -package ghc) - - process-1.6.14.0 (exposed by flag -package process) + - base-4.18.0.0 (exposed by flag -package base) + - bytestring-0.11.4.0 (exposed by flag -package bytestring) + - ghc-9.7 (exposed by flag -package ghc) + - process-1.6.16.0 (exposed by flag -package process) [1 of 2] Compiling Main ( UnusedPackages.hs, UnusedPackages.o ) -[2 of 2] Linking UnusedPackages.exe +[2 of 2] Linking UnusedPackages |