From 51ffd00906d1c75dc72c71ba4216b480996c8ce2 Mon Sep 17 00:00:00 2001 From: Swann Moreau Date: Thu, 30 Jun 2022 10:08:07 +0200 Subject: Print constraints in quotes (#21167) This patch improves the uniformity of error message formatting by printing constraints in quotes, as we do for types. Fix #21167 --- compiler/GHC/Tc/Errors/Ppr.hs | 2 +- libraries/base/tests/T9681.stderr | 2 +- testsuite/tests/ado/T16628.stderr | 6 +- testsuite/tests/ado/ado005.stderr | 2 +- .../tests/annotations/should_fail/annfail05.stderr | 2 +- .../tests/annotations/should_fail/annfail08.stderr | 4 +- .../arrows/should_fail/T20768_arrow_fail.stderr | 30 ++--- .../backpack/cabal/bkpcabal05/bkpcabal05.stderr | 2 +- .../tests/backpack/should_fail/bkpfail11.stderr | 2 +- .../tests/backpack/should_fail/bkpfail24.stderr | 8 +- .../tests/backpack/should_fail/bkpfail43.stderr | 2 +- .../tests/backpack/should_fail/bkpfail44.stderr | 6 +- .../tests/dependent/should_fail/T13135.stderr | 2 +- .../tests/dependent/should_fail/T15308.stderr | 2 +- testsuite/tests/deriving/should_fail/T21302.stderr | 4 +- testsuite/tests/deriving/should_fail/T2851.stderr | 14 +-- testsuite/tests/deriving/should_fail/T5287.stderr | 2 +- .../drvfail-foldable-traversable1.stderr | 44 +++---- .../deriving/should_fail/drvfail-functor2.stderr | 2 +- .../tests/deriving/should_fail/drvfail001.stderr | 14 +-- .../tests/deriving/should_fail/drvfail002.stderr | 2 +- .../tests/deriving/should_fail/drvfail003.stderr | 14 +-- .../tests/deriving/should_fail/drvfail004.stderr | 2 +- .../tests/deriving/should_fail/drvfail007.stderr | 14 +-- .../tests/deriving/should_fail/drvfail011.stderr | 2 +- .../tests/deriving/should_fail/drvfail012.stderr | 2 +- .../tests/deriving/should_fail/drvfail013.stderr | 28 ++--- testsuite/tests/deriving/should_run/T9576.stderr | 18 +-- testsuite/tests/driver/T2182.stderr | 8 +- testsuite/tests/driver/T5147/T5147.stderr | 8 +- testsuite/tests/driver/json.stderr | 2 +- testsuite/tests/gadt/gadt-escape1.stderr | 2 +- testsuite/tests/gadt/gadt13.stderr | 2 +- testsuite/tests/gadt/gadt21.stderr | 26 ++--- testsuite/tests/gadt/gadt7.stderr | 2 +- .../tests/ghci.debugger/scripts/break003.stderr | 2 +- .../tests/ghci.debugger/scripts/break006.stderr | 4 +- .../tests/ghci.debugger/scripts/print019.stderr | 2 +- testsuite/tests/ghci/scripts/Defer02.stderr | 6 +- testsuite/tests/ghci/scripts/T15325.stderr | 4 +- testsuite/tests/ghci/scripts/T2182ghci.stderr | 10 +- testsuite/tests/ghci/scripts/T2182ghci2.stderr | 4 +- testsuite/tests/impredicative/T17332.stderr | 2 +- .../indexed-types/should_compile/T12538.stderr | 2 +- .../indexed-types/should_compile/T15322a.stderr | 2 +- .../indexed-types/should_compile/T3208b.stderr | 4 +- .../tests/indexed-types/should_fail/T2627b.stderr | 2 +- .../tests/indexed-types/should_fail/T2664.stderr | 2 +- .../tests/indexed-types/should_fail/T4093a.stderr | 2 +- .../tests/indexed-types/should_fail/T4093b.stderr | 2 +- .../tests/indexed-types/should_fail/T8129.stdout | 4 +- .../tests/indexed-types/should_fail/T8155.stderr | 16 +-- .../tests/linear/should_fail/TypeClass.stderr | 2 +- testsuite/tests/mdo/should_fail/mdofail001.stderr | 10 +- testsuite/tests/module/mod46.stderr | 8 +- testsuite/tests/module/mod47.stderr | 16 +-- testsuite/tests/module/mod54.stderr | 14 +-- testsuite/tests/monadfail/MonadFailErrors.stderr | 6 +- .../should_fail/overloadedlistsfail02.stderr | 4 +- .../should_fail/overloadedlistsfail04.stderr | 14 +-- .../should_fail/hasfieldfail01.stderr | 2 +- .../should_fail/hasfieldfail02.stderr | 7 +- .../should_fail/overloadedlabelsfail01.stderr | 6 +- .../should_fail/RecordDotSyntaxFail11.stderr | 2 +- .../parser/should_fail/RecordDotSyntaxFail8.stderr | 2 +- .../should_fail/AnnotatedConstraint.stderr | 8 +- .../AnnotatedConstraintNotForgotten.stderr | 8 +- .../ExtraConstraintsWildcardNotPresent.stderr | 12 +- .../NamedExtraConstraintsWildcard.stderr | 2 +- .../should_fail/NamedWildcardsNotInMonotype.stderr | 2 +- .../partial-sigs/should_fail/T13324_fail2.stderr | 2 +- .../tests/partial-sigs/should_fail/T14584.stderr | 4 +- testsuite/tests/patsyn/should_fail/T10873.stderr | 4 +- testsuite/tests/patsyn/should_fail/T11667.stderr | 6 +- testsuite/tests/patsyn/should_fail/T15685.stderr | 2 +- testsuite/tests/patsyn/should_fail/T15695.stderr | 2 +- .../tests/perf/compiler/InstanceMatching.stderr | 4 +- testsuite/tests/perf/compiler/T9872a.stderr | 130 ++++++++++----------- testsuite/tests/perf/compiler/T9872b.stderr | 46 ++++---- testsuite/tests/perf/compiler/T9872b_defer.stderr | 4 +- testsuite/tests/perf/compiler/T9872c.stderr | 130 ++++++++++----------- testsuite/tests/polykinds/T6054.stderr | 2 +- testsuite/tests/polykinds/T7230.stderr | 2 +- testsuite/tests/polykinds/T7438.stderr | 2 +- testsuite/tests/polykinds/T7594.stderr | 2 +- testsuite/tests/polykinds/T8566.stderr | 2 +- .../tests/quantified-constraints/T19921.stderr | 2 +- .../tests/quantified-constraints/T21006.stderr | 2 +- testsuite/tests/rebindable/T20126.stderr | 2 +- testsuite/tests/rename/should_fail/T19843h.stderr | 10 +- testsuite/tests/rep-poly/EtaExpandStupid2.stderr | 2 +- testsuite/tests/safeHaskell/ghci/p14.stderr | 2 +- .../tests/tcplugins/TcPlugin_RewritePerf.stderr | 4 +- .../th/overloaded/TH_overloaded_no_instance.stderr | 2 +- .../tests/typecheck/no_skolem_info/T19752.stderr | 2 +- .../tests/typecheck/no_skolem_info/T20063.stderr | 2 +- .../tests/typecheck/no_skolem_info/T20969.stderr | 2 +- .../tests/typecheck/should_compile/T12734a.stderr | 2 +- .../tests/typecheck/should_compile/T13651.stderr | 2 +- .../tests/typecheck/should_compile/T14273.stderr | 4 +- .../should_compile/T17775-viewpats-b.stderr | 2 +- .../tests/typecheck/should_compile/tc231.stderr | 2 +- .../typecheck/should_fail/ClassOperator.stderr | 8 +- .../typecheck/should_fail/FunDepOrigin1b.stderr | 4 +- .../typecheck/should_fail/GivenForallLoop.stderr | 2 +- .../tests/typecheck/should_fail/IPFail.stderr | 2 +- .../should_fail/LongWayOverlapping.stderr | 12 +- .../tests/typecheck/should_fail/SCLoop.stderr | 8 +- .../tests/typecheck/should_fail/T10285.stderr | 2 +- .../tests/typecheck/should_fail/T10534.stderr | 2 +- .../tests/typecheck/should_fail/T11274.stderr | 2 +- .../tests/typecheck/should_fail/T11947a.stderr | 2 +- .../tests/typecheck/should_fail/T11948.stderr | 2 +- .../tests/typecheck/should_fail/T12151.stderr | 2 +- .../tests/typecheck/should_fail/T12785b.stderr | 2 +- .../tests/typecheck/should_fail/T12918b.stderr | 2 +- .../tests/typecheck/should_fail/T15067.stderr | 2 +- .../tests/typecheck/should_fail/T15361.stderr | 4 +- .../tests/typecheck/should_fail/T15767.stderr | 2 +- .../tests/typecheck/should_fail/T15883c.stderr | 2 +- .../tests/typecheck/should_fail/T16627.stderr | 2 +- .../tests/typecheck/should_fail/T16646Fail.stderr | 5 +- .../tests/typecheck/should_fail/T18398.stderr | 4 +- .../tests/typecheck/should_fail/T18406.stderr | 2 +- .../tests/typecheck/should_fail/T18851c.stderr | 2 +- .../tests/typecheck/should_fail/T1897a.stderr | 2 +- .../tests/typecheck/should_fail/T19977a.stderr | 2 +- .../tests/typecheck/should_fail/T19977b.stderr | 2 +- .../tests/typecheck/should_fail/T20064.stderr | 2 +- testsuite/tests/typecheck/should_fail/T3323.stderr | 6 +- testsuite/tests/typecheck/should_fail/T5300.stderr | 4 +- testsuite/tests/typecheck/should_fail/T5684.stderr | 4 +- .../tests/typecheck/should_fail/T5684b.stderr | 4 +- .../tests/typecheck/should_fail/T5684c.stderr | 4 +- .../tests/typecheck/should_fail/T5684d.stderr | 4 +- .../tests/typecheck/should_fail/T5684e.stderr | 4 +- .../tests/typecheck/should_fail/T5684f.stderr | 4 +- testsuite/tests/typecheck/should_fail/T5689.stderr | 2 +- testsuite/tests/typecheck/should_fail/T5691.stderr | 4 +- testsuite/tests/typecheck/should_fail/T5853.stderr | 2 +- testsuite/tests/typecheck/should_fail/T6161.stderr | 12 +- testsuite/tests/typecheck/should_fail/T7279.stderr | 2 +- testsuite/tests/typecheck/should_fail/T7437.stderr | 2 +- testsuite/tests/typecheck/should_fail/T7525.stderr | 2 +- testsuite/tests/typecheck/should_fail/T7857.stderr | 2 +- testsuite/tests/typecheck/should_fail/T9109.stderr | 2 +- .../tests/typecheck/should_fail/T9858b.stderr | 12 +- testsuite/tests/typecheck/should_fail/T9999.stderr | 2 +- .../should_fail/TcStaticPointersFail02.stderr | 6 +- .../should_fail/TcStaticPointersFail03.stderr | 10 +- testsuite/tests/typecheck/should_fail/mc20.stderr | 13 ++- testsuite/tests/typecheck/should_fail/tc168.stderr | 2 +- .../tests/typecheck/should_fail/tc168b.stderr | 2 +- .../tests/typecheck/should_fail/tcfail003.stderr | 10 +- .../tests/typecheck/should_fail/tcfail006.stderr | 10 +- .../tests/typecheck/should_fail/tcfail007.stderr | 2 +- .../tests/typecheck/should_fail/tcfail008.stderr | 2 +- .../tests/typecheck/should_fail/tcfail010.stderr | 2 +- .../tests/typecheck/should_fail/tcfail015.stderr | 8 +- .../tests/typecheck/should_fail/tcfail017.stderr | 12 +- .../tests/typecheck/should_fail/tcfail018.stderr | 2 +- .../tests/typecheck/should_fail/tcfail019.stderr | 4 +- .../tests/typecheck/should_fail/tcfail020.stderr | 12 +- .../tests/typecheck/should_fail/tcfail029.stderr | 2 +- .../tests/typecheck/should_fail/tcfail034.stderr | 2 +- .../tests/typecheck/should_fail/tcfail042.stderr | 44 +++---- .../tests/typecheck/should_fail/tcfail046.stderr | 4 +- .../tests/typecheck/should_fail/tcfail067.stderr | 12 +- .../tests/typecheck/should_fail/tcfail072.stderr | 2 +- .../tests/typecheck/should_fail/tcfail080.stderr | 2 +- .../tests/typecheck/should_fail/tcfail093.stderr | 2 +- .../tests/typecheck/should_fail/tcfail097.stderr | 2 +- .../tests/typecheck/should_fail/tcfail098.stderr | 2 +- .../tests/typecheck/should_fail/tcfail102.stderr | 2 +- .../tests/typecheck/should_fail/tcfail106.stderr | 4 +- .../tests/typecheck/should_fail/tcfail109.stderr | 8 +- .../tests/typecheck/should_fail/tcfail116.stderr | 2 +- .../tests/typecheck/should_fail/tcfail125.stderr | 2 +- .../tests/typecheck/should_fail/tcfail133.stderr | 2 +- .../tests/typecheck/should_fail/tcfail137.stderr | 8 +- .../tests/typecheck/should_fail/tcfail142.stderr | 2 +- .../tests/typecheck/should_fail/tcfail152.stderr | 12 +- .../tests/typecheck/should_fail/tcfail169.stderr | 2 +- .../tests/typecheck/should_fail/tcfail171.stderr | 2 +- .../tests/typecheck/should_fail/tcfail181.stderr | 2 +- .../tests/typecheck/should_fail/tcfail190.stderr | 13 ++- .../tests/typecheck/should_fail/tcfail208.stderr | 2 +- .../tests/typecheck/should_fail/tcfail223.stderr | 14 +-- .../tests/typecheck/should_fail/tcfail224.stderr | 2 +- testsuite/tests/typecheck/should_run/T3731.stderr | 2 +- .../tests/typecheck/should_run/T3731_simple.stderr | 2 +- 191 files changed, 643 insertions(+), 641 deletions(-) diff --git a/compiler/GHC/Tc/Errors/Ppr.hs b/compiler/GHC/Tc/Errors/Ppr.hs index e688010f8d..d907d2fbf0 100644 --- a/compiler/GHC/Tc/Errors/Ppr.hs +++ b/compiler/GHC/Tc/Errors/Ppr.hs @@ -2322,7 +2322,7 @@ pprTcSolverReportMsg ctxt (CouldNotDeduce useful_givens (item :| others) mb_extr missing = case wanteds of - [wanted] -> pprParendType wanted + [wanted] -> quotes (ppr wanted) _ -> pprTheta wanteds pprTcSolverReportMsg ctxt (AmbiguityPreventsSolvingCt item ambigs) = diff --git a/libraries/base/tests/T9681.stderr b/libraries/base/tests/T9681.stderr index c07fe42cbb..4db2fa4940 100644 --- a/libraries/base/tests/T9681.stderr +++ b/libraries/base/tests/T9681.stderr @@ -1,6 +1,6 @@ T9681.hs:3:7: error: - • No instance for (Num String) arising from the literal ‘1’ + • No instance for ‘Num String’ arising from the literal ‘1’ • In the first argument of ‘(+)’, namely ‘1’ In the expression: 1 + "\n" In an equation for ‘foo’: foo = 1 + "\n" diff --git a/testsuite/tests/ado/T16628.stderr b/testsuite/tests/ado/T16628.stderr index 6ea95f1754..523d9f471c 100644 --- a/testsuite/tests/ado/T16628.stderr +++ b/testsuite/tests/ado/T16628.stderr @@ -1,9 +1,9 @@ -T16628.hs:10:5: - No instance for (MonadFail Identity) +T16628.hs:10:5: error: + • No instance for ‘MonadFail Identity’ arising from a do statement with the failable pattern ‘[x]’ - In a stmt of a 'do' block: [x] <- i1 + • In a stmt of a 'do' block: [x] <- i1 In the expression: do _ <- i0 [x] <- i1 diff --git a/testsuite/tests/ado/ado005.stderr b/testsuite/tests/ado/ado005.stderr index a7984b4757..3b2c7c9fc1 100644 --- a/testsuite/tests/ado/ado005.stderr +++ b/testsuite/tests/ado/ado005.stderr @@ -1,6 +1,6 @@ ado005.hs:8:3: error: - • Could not deduce (Monad f) arising from a do statement + • Could not deduce ‘Monad f’ arising from a do statement from the context: Applicative f bound by the type signature for: test :: forall (f :: * -> *). diff --git a/testsuite/tests/annotations/should_fail/annfail05.stderr b/testsuite/tests/annotations/should_fail/annfail05.stderr index 237c238a8d..d206bd3a44 100644 --- a/testsuite/tests/annotations/should_fail/annfail05.stderr +++ b/testsuite/tests/annotations/should_fail/annfail05.stderr @@ -1,5 +1,5 @@ annfail05.hs:11:1: error: - • No instance for (Data.Data.Data NoInstances) + • No instance for ‘Data.Data.Data NoInstances’ arising from an annotation • In the annotation: {-# ANN f NoInstances #-} diff --git a/testsuite/tests/annotations/should_fail/annfail08.stderr b/testsuite/tests/annotations/should_fail/annfail08.stderr index 6fafaf919e..f7b9613f78 100644 --- a/testsuite/tests/annotations/should_fail/annfail08.stderr +++ b/testsuite/tests/annotations/should_fail/annfail08.stderr @@ -1,11 +1,11 @@ annfail08.hs:9:1: error: - • No instance for (Data.Data.Data (a0 -> a0)) + • No instance for ‘Data.Data.Data (a0 -> a0)’ arising from an annotation (maybe you haven't applied a function to enough arguments?) • In the annotation: {-# ANN f (id + 1) #-} annfail08.hs:9:15: error: - • No instance for (Num (a0 -> a0)) arising from a use of ‘+’ + • No instance for ‘Num (a0 -> a0)’ arising from a use of ‘+’ (maybe you haven't applied a function to enough arguments?) • In the annotation: {-# ANN f (id + 1) #-} diff --git a/testsuite/tests/arrows/should_fail/T20768_arrow_fail.stderr b/testsuite/tests/arrows/should_fail/T20768_arrow_fail.stderr index b20fc2b03a..43be5c220c 100644 --- a/testsuite/tests/arrows/should_fail/T20768_arrow_fail.stderr +++ b/testsuite/tests/arrows/should_fail/T20768_arrow_fail.stderr @@ -1,26 +1,26 @@ -T20768_arrow_fail.hs:9:10: - /cases alternatives within arrow notation have different numbers of arguments +T20768_arrow_fail.hs:9:10: error: + • \cases alternatives within arrow notation have different numbers of arguments T20768_arrow_fail.hs:10:6-54 T20768_arrow_fail.hs:12:6-25 - In the command: /cases + • In the command: \cases Just x | x > 100 -> returnA -< "big " ++ show x 1 2 | otherwise -> returnA -< "small " ++ show x -> returnA -< "none" In the command: (| id - (/cases + (\cases Just x | x > 100 -> returnA -< "big " ++ show x 1 2 | otherwise -> returnA -< "small " ++ show x -> returnA -< "none") |) In the command: (| id - (/cases + (\cases Just x | x > 100 -> returnA -< "big " ++ show x 1 2 | otherwise -> returnA -< "small " ++ show x -> returnA -< "none") |) x -T20768_arrow_fail.hs:17:9: - Could not deduce (ArrowChoice p) arising from an arrow command +T20768_arrow_fail.hs:17:9: error: + • Could not deduce ‘ArrowChoice p’ arising from an arrow command from the context: Arrow p bound by the type signature for: foo :: forall (p :: * -> * -> *). Arrow p => p (Maybe Int) String @@ -29,14 +29,14 @@ T20768_arrow_fail.hs:17:9: add (ArrowChoice p) to the context of the type signature for: foo :: forall (p :: * -> * -> *). Arrow p => p (Maybe Int) String - In the command: (| id - (/cases + • In the command: (| id + (\cases (Just x) | x > 100 -> returnA -< "big " ++ show x | otherwise -> returnA -< "small " ++ show x Nothing -> returnA -< "none") |) In the command: (| id - (/cases + (\cases (Just x) | x > 100 -> returnA -< "big " ++ show x | otherwise -> returnA -< "small " ++ show x @@ -44,23 +44,23 @@ T20768_arrow_fail.hs:17:9: x In the expression: proc x -> (| id - (/cases + (\cases (Just x) | x > 100 -> returnA -< "big " ++ show x | otherwise -> returnA -< "small " ++ show x Nothing -> returnA -< "none") |) x -T20768_arrow_fail.hs:26:21: - Could not deduce (Num (Maybe Int)) arising from the literal ‘100’ +T20768_arrow_fail.hs:26:21: error: + • Could not deduce ‘Num (Maybe Int)’ arising from the literal ‘100’ from the context: ArrowChoice p bound by the type signature for: bar :: forall (p :: * -> * -> *). ArrowChoice p => p (Maybe Int) String at T20768_arrow_fail.hs:23:1-44 - In the second argument of ‘(>)’, namely ‘100’ + • In the second argument of ‘(>)’, namely ‘100’ In the expression: x > 100 In a stmt of a pattern guard for - a /cases alternative within arrow notation: + a \cases alternative within arrow notation: x > 100 diff --git a/testsuite/tests/backpack/cabal/bkpcabal05/bkpcabal05.stderr b/testsuite/tests/backpack/cabal/bkpcabal05/bkpcabal05.stderr index 6f0879605c..04a495edb4 100644 --- a/testsuite/tests/backpack/cabal/bkpcabal05/bkpcabal05.stderr +++ b/testsuite/tests/backpack/cabal/bkpcabal05/bkpcabal05.stderr @@ -1,5 +1,5 @@ M.hs:4:5: error: - • No instance for (Show T) arising from a use of ‘show’ + • No instance for ‘Show T’ arising from a use of ‘show’ • In the expression: show In an equation for ‘f’: f = show diff --git a/testsuite/tests/backpack/should_fail/bkpfail11.stderr b/testsuite/tests/backpack/should_fail/bkpfail11.stderr index 52938c0154..5e1fb8768b 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail11.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail11.stderr @@ -11,7 +11,7 @@ [1 of 2] Compiling A[sig] ( sig/A.hsig, bkpfail11.out/sig/sig-HyoWTHt34SDIRGEX0vZ8iN/A.o ) bkpfail11.out/sig/sig-HyoWTHt34SDIRGEX0vZ8iN/../A.hi:1:1: error: - • No instance for (GHC.Show.Show X) + • No instance for ‘GHC.Show.Show X’ arising when attempting to show that instance [safe] GHC.Show.Show T -- Defined at bkpfail11.bkp:5:18 is provided by ‘mod:A’ diff --git a/testsuite/tests/backpack/should_fail/bkpfail24.stderr b/testsuite/tests/backpack/should_fail/bkpfail24.stderr index ee4238451f..558b5fc97f 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail24.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail24.stderr @@ -1,10 +1,10 @@ [1 of 1] Processing p - [1 of 3] Compiling H1[sig] ( p\H1.hsig, nothing ) - [2 of 3] Compiling H2[sig] ( p\H2.hsig, nothing ) - [3 of 3] Compiling M ( p\M.hs, nothing ) + [1 of 3] Compiling H1[sig] ( p/H1.hsig, nothing ) + [2 of 3] Compiling H2[sig] ( p/H2.hsig, nothing ) + [3 of 3] Compiling M ( p/M.hs, nothing ) bkpfail24.bkp:14:15: error: - • Could not deduce (a ~ b) + • Could not deduce ‘a ~ b’ from the context: {H1.T} ~ {H2.T} bound by the type signature for: f :: forall a b. ({H1.T} ~ {H2.T}) => a -> b diff --git a/testsuite/tests/backpack/should_fail/bkpfail43.stderr b/testsuite/tests/backpack/should_fail/bkpfail43.stderr index 1ba1164213..8d4bd2ff40 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail43.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail43.stderr @@ -11,7 +11,7 @@ [1 of 2] Compiling A[sig] ( p/A.hsig, bkpfail43.out/p/p-HVmFlcYSefiK5n1aDP1v7x/A.o ) bkpfail43.out/p/p-HVmFlcYSefiK5n1aDP1v7x/../A.hi:1:1: error: - • No instance for (GHC.Show.Show (a -> b)) + • No instance for ‘GHC.Show.Show (a -> b)’ arising when attempting to show that instance [safe] GHC.Show.Show (a -> b) -- Defined at bkpfail43.bkp:3:18 diff --git a/testsuite/tests/backpack/should_fail/bkpfail44.stderr b/testsuite/tests/backpack/should_fail/bkpfail44.stderr index d51742c987..7fa5dd34c3 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail44.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail44.stderr @@ -1,9 +1,9 @@ [1 of 1] Processing p - [1 of 2] Compiling A[sig] ( p\A.hsig, nothing ) - [2 of 2] Compiling B ( p\B.hs, nothing ) + [1 of 2] Compiling A[sig] ( p/A.hsig, nothing ) + [2 of 2] Compiling B ( p/B.hs, nothing ) bkpfail44.bkp:10:15: error: - • Could not deduce (a ~ b) + • Could not deduce ‘a ~ b’ from the context: Coercible (T a) (T b) bound by the type signature for: f :: forall a b. Coercible (T a) (T b) => a -> b diff --git a/testsuite/tests/dependent/should_fail/T13135.stderr b/testsuite/tests/dependent/should_fail/T13135.stderr index 88de56943e..fc70907e11 100644 --- a/testsuite/tests/dependent/should_fail/T13135.stderr +++ b/testsuite/tests/dependent/should_fail/T13135.stderr @@ -1,6 +1,6 @@ T13135.hs:60:10: error: - • No instance for (Constr :<: Constr) + • No instance for ‘Constr :<: Constr’ arising from a use of ‘smartSym’ • In the expression: smartSym sym In an equation for ‘arrLen’: diff --git a/testsuite/tests/dependent/should_fail/T15308.stderr b/testsuite/tests/dependent/should_fail/T15308.stderr index fdb019efc1..60c02ac31f 100644 --- a/testsuite/tests/dependent/should_fail/T15308.stderr +++ b/testsuite/tests/dependent/should_fail/T15308.stderr @@ -1,5 +1,5 @@ T15308.hs:13:5: error: - • No instance for (Show (Foo a f)) arising from a use of ‘show’ + • No instance for ‘Show (Foo a f)’ arising from a use of ‘show’ • In the expression: show In an equation for ‘f’: f = show diff --git a/testsuite/tests/deriving/should_fail/T21302.stderr b/testsuite/tests/deriving/should_fail/T21302.stderr index 46910cbf4f..171c9f980d 100644 --- a/testsuite/tests/deriving/should_fail/T21302.stderr +++ b/testsuite/tests/deriving/should_fail/T21302.stderr @@ -1,12 +1,12 @@ T21302.hs:6:13: error: - • Could not solve: (c0 Eq Int) + • Could not solve: ‘c0 Eq Int’ arising from the first field of ‘BoxAssocDouble’ (type ‘BoxAssoc Int’) • When deriving the instance for (Eq BoxAssocDouble) T21302.hs:12:19: error: - • Could not deduce (c0 Eq a) + • Could not deduce ‘c0 Eq a’ from the context: c Eq a bound by a stand-alone deriving instance declaration: forall (c :: (* -> Constraint) -> * -> Constraint) a. diff --git a/testsuite/tests/deriving/should_fail/T2851.stderr b/testsuite/tests/deriving/should_fail/T2851.stderr index 780e16cbb7..19f7f9aa98 100644 --- a/testsuite/tests/deriving/should_fail/T2851.stderr +++ b/testsuite/tests/deriving/should_fail/T2851.stderr @@ -1,8 +1,8 @@ -T2851.hs:9:15: - No instance for (Show (F a)) - arising from the first field of ‘D’ (type ‘F a’) - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Show (D a)) +T2851.hs:9:15: error: + • No instance for ‘Show (F a)’ + arising from the first field of ‘D’ (type ‘F a’) + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Show (D a)) diff --git a/testsuite/tests/deriving/should_fail/T5287.stderr b/testsuite/tests/deriving/should_fail/T5287.stderr index 0dfedee061..a82cf44b94 100644 --- a/testsuite/tests/deriving/should_fail/T5287.stderr +++ b/testsuite/tests/deriving/should_fail/T5287.stderr @@ -1,6 +1,6 @@ T5287.hs:7:10: error: - • Could not deduce (A a oops0) + • Could not deduce ‘A a oops0’ from the context: A a oops bound by an instance declaration: forall a oops. A a oops => Read (D a) diff --git a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr index aa115cd10e..f475a3ea5d 100644 --- a/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail-foldable-traversable1.stderr @@ -1,26 +1,26 @@ -drvfail-foldable-traversable1.hs:9:23: - No instance for (Functor Trivial1) - arising from the 'deriving' clause of a data type declaration - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Traversable Trivial1) +drvfail-foldable-traversable1.hs:9:23: error: + • No instance for ‘Functor Trivial1’ + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Traversable Trivial1) -drvfail-foldable-traversable1.hs:13:22: - No instance for (Foldable Trivial2) - arising from the 'deriving' clause of a data type declaration - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Traversable Trivial2) +drvfail-foldable-traversable1.hs:13:22: error: + • No instance for ‘Foldable Trivial2’ + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Traversable Trivial2) -drvfail-foldable-traversable1.hs:17:22: - Can't make a derived instance of ‘Foldable Infinite’: - Constructor ‘Infinite’ must not contain function types - In the data declaration for ‘Infinite’ +drvfail-foldable-traversable1.hs:17:22: error: + • Can't make a derived instance of ‘Foldable Infinite’: + Constructor ‘Infinite’ must not contain function types + • In the data declaration for ‘Infinite’ -drvfail-foldable-traversable1.hs:21:22: - Can't make a derived instance of ‘Traversable (Cont r)’: - Constructor ‘Cont’ must not contain function types - In the data declaration for ‘Cont’ +drvfail-foldable-traversable1.hs:21:22: error: + • Can't make a derived instance of ‘Traversable (Cont r)’: + Constructor ‘Cont’ must not contain function types + • In the data declaration for ‘Cont’ diff --git a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr index 3fd7f14b4c..d66cfda507 100644 --- a/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail-functor2.stderr @@ -23,7 +23,7 @@ drvfail-functor2.hs:21:14: error: • In the data declaration for ‘StupidConstraint’ drvfail-functor2.hs:27:14: error: - • No instance for (Functor NoFunctor) + • No instance for ‘Functor NoFunctor’ arising from the first field of ‘UseNoFunctor’ (type ‘NoFunctor a’) Possible fix: use a standalone 'deriving instance' declaration, diff --git a/testsuite/tests/deriving/should_fail/drvfail001.stderr b/testsuite/tests/deriving/should_fail/drvfail001.stderr index 7f89e8c52b..1422723245 100644 --- a/testsuite/tests/deriving/should_fail/drvfail001.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail001.stderr @@ -1,8 +1,8 @@ -drvfail001.hs:16:33: - No instance for (Show (f (f a))) - arising from the first field of ‘ZeroS’ (type ‘f (f a)’) - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Show (SM f a)) +drvfail001.hs:16:33: error: + • No instance for ‘Show (f (f a))’ + arising from the first field of ‘ZeroS’ (type ‘f (f a)’) + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Show (SM f a)) diff --git a/testsuite/tests/deriving/should_fail/drvfail002.stderr b/testsuite/tests/deriving/should_fail/drvfail002.stderr index a58db7a8d8..72d6abf278 100644 --- a/testsuite/tests/deriving/should_fail/drvfail002.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail002.stderr @@ -1,6 +1,6 @@ drvfail002.hs:19:23: error: - • No instance for (X T c0) + • No instance for ‘X T c0’ arising from the first field of ‘S’ (type ‘T’) Possible fix: use a standalone 'deriving instance' declaration, diff --git a/testsuite/tests/deriving/should_fail/drvfail003.stderr b/testsuite/tests/deriving/should_fail/drvfail003.stderr index 6e06abf3b5..fea6c66258 100644 --- a/testsuite/tests/deriving/should_fail/drvfail003.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail003.stderr @@ -1,8 +1,8 @@ -drvfail003.hs:16:56: - No instance for (Show (v (v a))) - arising from the first field of ‘End’ (type ‘v (v a)’) - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Show (Square_ v w a)) +drvfail003.hs:16:56: error: + • No instance for ‘Show (v (v a))’ + arising from the first field of ‘End’ (type ‘v (v a)’) + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Show (Square_ v w a)) diff --git a/testsuite/tests/deriving/should_fail/drvfail004.stderr b/testsuite/tests/deriving/should_fail/drvfail004.stderr index d182565692..046d99adaf 100644 --- a/testsuite/tests/deriving/should_fail/drvfail004.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail004.stderr @@ -1,6 +1,6 @@ drvfail004.hs:8:12: error: - • Could not deduce (Eq (Foo a b)) + • Could not deduce ‘Eq (Foo a b)’ arising from the 'deriving' clause of a data type declaration from the context: (Ord a, Ord b) bound by the deriving clause for ‘Ord (Foo a b)’ diff --git a/testsuite/tests/deriving/should_fail/drvfail007.stderr b/testsuite/tests/deriving/should_fail/drvfail007.stderr index f786f336be..2bf5f115c5 100644 --- a/testsuite/tests/deriving/should_fail/drvfail007.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail007.stderr @@ -1,9 +1,9 @@ drvfail007.hs:4:38: error: - No instance for (Eq (Int -> Int)) - arising from the first field of ‘Foo’ (type ‘Int -> Int’) - (maybe you haven't applied a function to enough arguments?) - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Eq Foo) + • No instance for ‘Eq (Int -> Int)’ + arising from the first field of ‘Foo’ (type ‘Int -> Int’) + (maybe you haven't applied a function to enough arguments?) + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Eq Foo) diff --git a/testsuite/tests/deriving/should_fail/drvfail011.stderr b/testsuite/tests/deriving/should_fail/drvfail011.stderr index 5b26f5b575..b09281f271 100644 --- a/testsuite/tests/deriving/should_fail/drvfail011.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail011.stderr @@ -1,6 +1,6 @@ drvfail011.hs:8:1: error: - • No instance for (Eq a) arising from a use of ‘==’ + • No instance for ‘Eq a’ arising from a use of ‘==’ Possible fix: add (Eq a) to the context of the instance declaration • In the expression: a1 == b1 In a case alternative: (T1 b1) -> ((a1 == b1)) diff --git a/testsuite/tests/deriving/should_fail/drvfail012.stderr b/testsuite/tests/deriving/should_fail/drvfail012.stderr index a3becc4197..3df709fa3a 100644 --- a/testsuite/tests/deriving/should_fail/drvfail012.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail012.stderr @@ -1,6 +1,6 @@ drvfail012.hs:5:33: error: - • Could not deduce (Eq (Ego a)) + • Could not deduce ‘Eq (Ego a)’ arising from the 'deriving' clause of a data type declaration from the context: Ord a bound by the deriving clause for ‘Ord (Ego a)’ diff --git a/testsuite/tests/deriving/should_fail/drvfail013.stderr b/testsuite/tests/deriving/should_fail/drvfail013.stderr index abbe95892d..8f16d0d098 100644 --- a/testsuite/tests/deriving/should_fail/drvfail013.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail013.stderr @@ -1,16 +1,16 @@ -drvfail013.hs:4:70: - No instance for (Eq (m (Maybe a))) - arising from the 'deriving' clause of a data type declaration - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Eq (MaybeT m a)) +drvfail013.hs:4:70: error: + • No instance for ‘Eq (m (Maybe a))’ + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Eq (MaybeT m a)) -drvfail013.hs:6:70: - No instance for (Eq (m (Maybe a))) - arising from the first field of ‘MaybeT'’ (type ‘m (Maybe a)’) - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Eq (MaybeT' m a)) +drvfail013.hs:6:70: error: + • No instance for ‘Eq (m (Maybe a))’ + arising from the first field of ‘MaybeT'’ (type ‘m (Maybe a)’) + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Eq (MaybeT' m a)) diff --git a/testsuite/tests/deriving/should_run/T9576.stderr b/testsuite/tests/deriving/should_run/T9576.stderr index 49d41a3a36..8a28897c6b 100644 --- a/testsuite/tests/deriving/should_run/T9576.stderr +++ b/testsuite/tests/deriving/should_run/T9576.stderr @@ -1,11 +1,11 @@ T9576: T9576.hs:6:31: error: - No instance for (Show Foo) arising from a use of ‘showsPrec’ - In the second argument of ‘(.)’, namely ‘(showsPrec 11 b1)’ - In the second argument of ‘showParen’, namely - ‘((.) (showString "MkBar ") (showsPrec 11 b1))’ - In the expression: - showParen (a >= 11) ((.) (showString "MkBar ") (showsPrec 11 b1)) - When typechecking the code for ‘showsPrec’ - in a derived instance for ‘Show Bar’: - To see the code I am typechecking, use -ddump-deriv + • No instance for ‘Show Foo’ arising from a use of ‘showsPrec’ + • In the second argument of ‘(.)’, namely ‘(showsPrec 11 b1)’ + In the second argument of ‘showParen’, namely + ‘((.) (showString "MkBar ") (showsPrec 11 b1))’ + In the expression: + showParen (a >= 11) ((.) (showString "MkBar ") (showsPrec 11 b1)) + When typechecking the code for ‘showsPrec’ + in a derived instance for ‘Show Bar’: + To see the code I am typechecking, use -ddump-deriv (deferred type error) diff --git a/testsuite/tests/driver/T2182.stderr b/testsuite/tests/driver/T2182.stderr index 6689c717bb..112ac847c3 100644 --- a/testsuite/tests/driver/T2182.stderr +++ b/testsuite/tests/driver/T2182.stderr @@ -1,24 +1,24 @@ T2182.hs:5:5: error: - • No instance for (Show (p1 -> p1)) arising from a use of ‘show’ + • No instance for ‘Show (p1 -> p1)’ arising from a use of ‘show’ (maybe you haven't applied a function to enough arguments?) • In the expression: show (\ x -> x) In an equation for ‘y’: y = show (\ x -> x) T2182.hs:6:15: error: - • No instance for (Eq (p0 -> p0)) arising from a use of ‘==’ + • No instance for ‘Eq (p0 -> p0)’ arising from a use of ‘==’ (maybe you haven't applied a function to enough arguments?) • In the expression: (\ x -> x) == (\ y -> y) In an equation for ‘z’: z = (\ x -> x) == (\ y -> y) T2182.hs:5:5: error: - • No instance for (Show (p1 -> p1)) arising from a use of ‘show’ + • No instance for ‘Show (p1 -> p1)’ arising from a use of ‘show’ (maybe you haven't applied a function to enough arguments?) • In the expression: show (\ x -> x) In an equation for ‘y’: y = show (\ x -> x) T2182.hs:6:15: error: - • No instance for (Eq (p0 -> p0)) arising from a use of ‘==’ + • No instance for ‘Eq (p0 -> p0)’ arising from a use of ‘==’ (maybe you haven't applied a function to enough arguments?) • In the expression: (\ x -> x) == (\ y -> y) In an equation for ‘z’: z = (\ x -> x) == (\ y -> y) diff --git a/testsuite/tests/driver/T5147/T5147.stderr b/testsuite/tests/driver/T5147/T5147.stderr index 9e59ee28b0..1e7b182297 100644 --- a/testsuite/tests/driver/T5147/T5147.stderr +++ b/testsuite/tests/driver/T5147/T5147.stderr @@ -1,5 +1,5 @@ -A.hs:6:15: - No instance for (Show (Fields v)) arising from a use of ‘show’ - In the expression: show a - In an equation for ‘showField’: showField a = show a +A.hs:6:15: error: + • No instance for ‘Show (Fields v)’ arising from a use of ‘show’ + • In the expression: show a + In an equation for ‘showField’: showField a = show a diff --git a/testsuite/tests/driver/json.stderr b/testsuite/tests/driver/json.stderr index ec28dbb206..78a0a1ae6a 100644 --- a/testsuite/tests/driver/json.stderr +++ b/testsuite/tests/driver/json.stderr @@ -1 +1 @@ -{"span":{"file":"json.hs","startLine":6,"startCol":7,"endLine":6,"endCol":8},"doc":"\u2022 No instance for (Num (a -> a)) arising from the literal \u20185\u2019\n (maybe you haven't applied a function to enough arguments?)\n\u2022 In the expression: 5\n In an equation for \u2018id1\u2019: id1 = 5","messageClass":"MCDiagnostic SevError ErrorWithoutFlag"} +{"span":{"file":"json.hs","startLine":6,"startCol":7,"endLine":6,"endCol":8},"doc":"\u2022 No instance for \u2018Num (a -> a)\u2019 arising from the literal \u20185\u2019\n (maybe you haven't applied a function to enough arguments?)\n\u2022 In the expression: 5\n In an equation for \u2018id1\u2019: id1 = 5","messageClass":"MCDiagnostic SevError ErrorWithoutFlag"} diff --git a/testsuite/tests/gadt/gadt-escape1.stderr b/testsuite/tests/gadt/gadt-escape1.stderr index b237361699..fcc562f56e 100644 --- a/testsuite/tests/gadt/gadt-escape1.stderr +++ b/testsuite/tests/gadt/gadt-escape1.stderr @@ -1,6 +1,6 @@ gadt-escape1.hs:19:58: error: - • Could not deduce (p ~ ExpGADT Int) + • Could not deduce ‘p ~ ExpGADT Int’ from the context: t ~ Int bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int, in a case alternative diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index 83b0e73e53..b7eb4e9bd3 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,6 +1,6 @@ gadt13.hs:15:13: error: - • Could not deduce (p ~ (String -> [Char])) + • Could not deduce ‘p ~ (String -> [Char])’ from the context: a ~ Int bound by a pattern with constructor: I :: Int -> Term Int, in an equation for ‘shw’ diff --git a/testsuite/tests/gadt/gadt21.stderr b/testsuite/tests/gadt/gadt21.stderr index 7259672c7a..999448bb71 100644 --- a/testsuite/tests/gadt/gadt21.stderr +++ b/testsuite/tests/gadt/gadt21.stderr @@ -1,14 +1,14 @@ -gadt21.hs:21:60: - Could not deduce (Ord a1) arising from a use of ‘f’ - from the context: a ~ Set a1 - bound by a pattern with constructor: - TypeSet :: forall a. Type a -> Type (Set a), - in an equation for ‘withOrdDynExpr’ - at gadt21.hs:21:35-43 - Possible fix: - add (Ord a1) to the context of the data constructor ‘TypeSet’ - In the first argument of ‘Just’, namely ‘(f e)’ - In the expression: Just (f e) - In an equation for ‘withOrdDynExpr’: - withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e) +gadt21.hs:21:60: error: + • Could not deduce ‘Ord a1’ arising from a use of ‘f’ + from the context: a ~ Set a1 + bound by a pattern with constructor: + TypeSet :: forall a. Type a -> Type (Set a), + in an equation for ‘withOrdDynExpr’ + at gadt21.hs:21:35-43 + Possible fix: + add (Ord a1) to the context of the data constructor ‘TypeSet’ + • In the first argument of ‘Just’, namely ‘(f e)’ + In the expression: Just (f e) + In an equation for ‘withOrdDynExpr’: + withOrdDynExpr (DynExpr e@(Const (TypeSet _) _)) f = Just (f e) diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr index f36b44d09d..f1e7237dac 100644 --- a/testsuite/tests/gadt/gadt7.stderr +++ b/testsuite/tests/gadt/gadt7.stderr @@ -1,6 +1,6 @@ gadt7.hs:16:38: error: - • Could not deduce (p1 ~ p2) + • Could not deduce ‘p1 ~ p2’ from the context: a ~ Int bound by a pattern with constructor: K :: T Int, in a case alternative diff --git a/testsuite/tests/ghci.debugger/scripts/break003.stderr b/testsuite/tests/ghci.debugger/scripts/break003.stderr index 36398dfda1..a6f81eb1b0 100644 --- a/testsuite/tests/ghci.debugger/scripts/break003.stderr +++ b/testsuite/tests/ghci.debugger/scripts/break003.stderr @@ -1,5 +1,5 @@ :4:1: error: - • No instance for (Show (t -> a)) arising from a use of ‘print’ + • No instance for ‘Show (t -> a)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it diff --git a/testsuite/tests/ghci.debugger/scripts/break006.stderr b/testsuite/tests/ghci.debugger/scripts/break006.stderr index aff21f46ab..9d002cc286 100644 --- a/testsuite/tests/ghci.debugger/scripts/break006.stderr +++ b/testsuite/tests/ghci.debugger/scripts/break006.stderr @@ -1,6 +1,6 @@ :4:1: error: - • No instance for (Show a) arising from a use of ‘print’ + • No instance for ‘Show a’ arising from a use of ‘print’ Cannot resolve unknown runtime type ‘a’ Use :print or :force to determine these types Relevant bindings include it :: a (bound at :4:1) @@ -13,7 +13,7 @@ • In a stmt of an interactive GHCi command: print it :6:1: error: - • No instance for (Show a) arising from a use of ‘print’ + • No instance for ‘Show a’ arising from a use of ‘print’ Cannot resolve unknown runtime type ‘a’ Use :print or :force to determine these types Relevant bindings include it :: a (bound at :6:1) diff --git a/testsuite/tests/ghci.debugger/scripts/print019.stderr b/testsuite/tests/ghci.debugger/scripts/print019.stderr index 3833768d40..5957386183 100644 --- a/testsuite/tests/ghci.debugger/scripts/print019.stderr +++ b/testsuite/tests/ghci.debugger/scripts/print019.stderr @@ -1,6 +1,6 @@ :10:1: error: - • No instance for (Show a1) arising from a use of ‘print’ + • No instance for ‘Show a1’ arising from a use of ‘print’ Cannot resolve unknown runtime type ‘a1’ Use :print or :force to determine these types Relevant bindings include it :: a1 (bound at :10:1) diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index 3477f47b17..bb787b30c1 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -80,7 +80,7 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] In an equation for ‘a’: a = 'p' (deferred type error) *** Exception: Defer01.hs:18:9: error: - • No instance for (Eq B) arising from a use of ‘==’ + • No instance for ‘Eq B’ arising from a use of ‘==’ • In the expression: x == x In an equation for ‘b’: b x = x == x (deferred type error) @@ -93,7 +93,7 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] In the first argument of ‘print’, namely ‘(c (C2 True))’ In the expression: print (c (C2 True)) *** Exception: Defer01.hs:28:5: error: - • No instance for (Num (a -> a)) arising from the literal ‘1’ + • No instance for ‘Num (a -> a)’ arising from the literal ‘1’ (maybe you haven't applied a function to enough arguments?) • In the expression: 1 In an equation for ‘d’: d = 1 @@ -129,7 +129,7 @@ Defer01.hs:50:5: warning: [-Wdeferred-type-errors (in -Wdefault)] i :: a -> () (bound at Defer01.hs:39:1) (deferred type error) *** Exception: Defer01.hs:43:5: error: - • No instance for (MyClass a1) arising from a use of ‘myOp’ + • No instance for ‘MyClass a1’ arising from a use of ‘myOp’ • In the expression: myOp 23 In an equation for ‘j’: j = myOp 23 (deferred type error) diff --git a/testsuite/tests/ghci/scripts/T15325.stderr b/testsuite/tests/ghci/scripts/T15325.stderr index cd473af4dc..e7c6c8fc67 100644 --- a/testsuite/tests/ghci/scripts/T15325.stderr +++ b/testsuite/tests/ghci/scripts/T15325.stderr @@ -1,6 +1,6 @@ T15325.hs:11:7: warning: [-Wdeferred-type-errors (in -Wdefault)] - • No instance for (PolyList e0) arising from a use of ‘f’ + • No instance for ‘PolyList e0’ arising from a use of ‘f’ • In the expression: f 0 In an equation for ‘plh’: plh = f 0 @@ -18,7 +18,7 @@ T15325.hs:11:9: warning: [-Wdeferred-type-errors (in -Wdefault)] In the expression: f 0 In an equation for ‘plh’: plh = f 0 *** Exception: T15325.hs:11:7: error: - • No instance for (PolyList e0) arising from a use of ‘f’ + • No instance for ‘PolyList e0’ arising from a use of ‘f’ • In the expression: f 0 In an equation for ‘plh’: plh = f 0 (deferred type error) diff --git a/testsuite/tests/ghci/scripts/T2182ghci.stderr b/testsuite/tests/ghci/scripts/T2182ghci.stderr index 5f601942ca..5d28baef74 100644 --- a/testsuite/tests/ghci/scripts/T2182ghci.stderr +++ b/testsuite/tests/ghci/scripts/T2182ghci.stderr @@ -1,25 +1,25 @@ :2:1: error: - • No instance for (Show (p0 -> p0)) arising from a use of ‘print’ + • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it :10:1: error: - • No instance for (Show (p0 -> p0)) arising from a use of ‘print’ + • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it :19:1: error: - • No instance for (Show (p0 -> p0)) arising from a use of ‘print’ + • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it :28:1: error: - • No instance for (Show (p0 -> p0)) arising from a use of ‘print’ + • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it :49:1: error: - • No instance for (Show (p0 -> p0)) arising from a use of ‘print’ + • No instance for ‘Show (p0 -> p0)’ arising from a use of ‘print’ (maybe you haven't applied a function to enough arguments?) • In a stmt of an interactive GHCi command: print it diff --git a/testsuite/tests/ghci/scripts/T2182ghci2.stderr b/testsuite/tests/ghci/scripts/T2182ghci2.stderr index 5ebe106bfa..8087c00af9 100644 --- a/testsuite/tests/ghci/scripts/T2182ghci2.stderr +++ b/testsuite/tests/ghci/scripts/T2182ghci2.stderr @@ -1,10 +1,10 @@ :7:1: error: - • No instance for (GHC.Show.Show Float) + • No instance for ‘GHC.Show.Show Float’ arising from a use of ‘System.IO.print’ • In a stmt of an interactive GHCi command: System.IO.print it :15:1: error: - • No instance for (GHC.Show.Show Float) + • No instance for ‘GHC.Show.Show Float’ arising from a use of ‘System.IO.print’ • In a stmt of an interactive GHCi command: System.IO.print it diff --git a/testsuite/tests/impredicative/T17332.stderr b/testsuite/tests/impredicative/T17332.stderr index f614c289ce..2cff6c433d 100644 --- a/testsuite/tests/impredicative/T17332.stderr +++ b/testsuite/tests/impredicative/T17332.stderr @@ -1,5 +1,5 @@ T17332.hs:13:7: error: - • Could not solve: a arising from a use of ‘MkDict’ + • Could not solve: ‘a’ arising from a use of ‘MkDict’ • In the expression: MkDict In an equation for ‘aux’: aux = MkDict diff --git a/testsuite/tests/indexed-types/should_compile/T12538.stderr b/testsuite/tests/indexed-types/should_compile/T12538.stderr index d5c8f97f9c..f4dcb4392b 100644 --- a/testsuite/tests/indexed-types/should_compile/T12538.stderr +++ b/testsuite/tests/indexed-types/should_compile/T12538.stderr @@ -1,6 +1,6 @@ T12538.hs:37:8: error: - • Could not deduce (a' ~ Tagged Int a) + • Could not deduce ‘a' ~ Tagged Int a’ from the context: (TagImpl a a', b ~ DF a') bound by the instance declaration at T12538.hs:36:10-46 Expected: Tagged Int a -> b diff --git a/testsuite/tests/indexed-types/should_compile/T15322a.stderr b/testsuite/tests/indexed-types/should_compile/T15322a.stderr index d3f938eccc..d6e483f7d3 100644 --- a/testsuite/tests/indexed-types/should_compile/T15322a.stderr +++ b/testsuite/tests/indexed-types/should_compile/T15322a.stderr @@ -1,6 +1,6 @@ T15322a.hs:12:7: error: - • Could not deduce (KnownNat (n + 1)) + • Could not deduce ‘KnownNat (n + 1)’ arising from a use of ‘typeRep’ from the context: KnownNat n bound by the type signature for: diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr index 216b14f095..c9c1be88b6 100644 --- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr +++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr @@ -1,6 +1,6 @@ T3208b.hs:15:10: error: - • Could not deduce (OTerm o0 ~ STerm a) arising from a use of ‘fce’ + • Could not deduce ‘OTerm o0 ~ STerm a’ arising from a use of ‘fce’ from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) bound by the type signature for: fce' :: forall a c. @@ -15,7 +15,7 @@ T3208b.hs:15:10: error: fce' :: a -> c (bound at T3208b.hs:15:1) T3208b.hs:15:15: error: - • Could not deduce (STerm o0 ~ STerm a) + • Could not deduce ‘STerm o0 ~ STerm a’ arising from a use of ‘apply’ from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a) bound by the type signature for: diff --git a/testsuite/tests/indexed-types/should_fail/T2627b.stderr b/testsuite/tests/indexed-types/should_fail/T2627b.stderr index a2086a8134..cf25ba5918 100644 --- a/testsuite/tests/indexed-types/should_fail/T2627b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2627b.stderr @@ -1,6 +1,6 @@ T2627b.hs:20:24: error: - • Could not deduce (Dual (Dual a0) ~ a0) + • Could not deduce ‘Dual (Dual a0) ~ a0’ arising from a use of ‘conn’ from the context: (Dual a ~ b, Dual b ~ a) bound by the type signature for: diff --git a/testsuite/tests/indexed-types/should_fail/T2664.stderr b/testsuite/tests/indexed-types/should_fail/T2664.stderr index e4aa614264..80bddc7f78 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -1,6 +1,6 @@ T2664.hs:32:52: error: - • Could not deduce (b ~ a) arising from a use of ‘newPChan’ + • Could not deduce ‘b ~ a’ arising from a use of ‘newPChan’ from the context: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) bound by the type signature for: newPChan :: forall c. diff --git a/testsuite/tests/indexed-types/should_fail/T4093a.stderr b/testsuite/tests/indexed-types/should_fail/T4093a.stderr index 10b6284105..bd11021454 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093a.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093a.stderr @@ -1,6 +1,6 @@ T4093a.hs:8:8: error: - • Could not deduce (e ~ ()) + • Could not deduce ‘e ~ ()’ from the context: Foo e ~ Maybe e bound by the type signature for: hang :: forall e. (Foo e ~ Maybe e) => Foo e diff --git a/testsuite/tests/indexed-types/should_fail/T4093b.stderr b/testsuite/tests/indexed-types/should_fail/T4093b.stderr index 575aed2a7b..3180708365 100644 --- a/testsuite/tests/indexed-types/should_fail/T4093b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4093b.stderr @@ -1,6 +1,6 @@ T4093b.hs:31:13: error: - • Could not deduce (e ~ C) + • Could not deduce ‘e ~ C’ from the context: (EitherCO e (A C O n) (A O O n) ~ A e O n, EitherCO x (A C C n) (A C O n) ~ A C x n) bound by the type signature for: diff --git a/testsuite/tests/indexed-types/should_fail/T8129.stdout b/testsuite/tests/indexed-types/should_fail/T8129.stdout index b23febd728..47a75d92e2 100644 --- a/testsuite/tests/indexed-types/should_fail/T8129.stdout +++ b/testsuite/tests/indexed-types/should_fail/T8129.stdout @@ -1,2 +1,2 @@ - • Could not deduce (C x0 (F x0)) - • Could not deduce (C x0 (F x0)) + • Could not deduce ‘C x0 (F x0)’ + • Could not deduce ‘C x0 (F x0)’ diff --git a/testsuite/tests/indexed-types/should_fail/T8155.stderr b/testsuite/tests/indexed-types/should_fail/T8155.stderr index 2d68242b1f..771bb4fc58 100644 --- a/testsuite/tests/indexed-types/should_fail/T8155.stderr +++ b/testsuite/tests/indexed-types/should_fail/T8155.stderr @@ -1,9 +1,9 @@ -T8155.hs:26:14: - Could not deduce (Integral (BoundsOf (a -> a))) - arising from a use of ‘buildV’ - from the context: Num a - bound by the instance declaration at T8155.hs:25:10-32 - In the expression: buildV - In an equation for ‘build'’: build' = buildV - In the instance declaration for ‘Build (a -> a)’ +T8155.hs:26:14: error: + • Could not deduce ‘Integral (BoundsOf (a -> a))’ + arising from a use of ‘buildV’ + from the context: Num a + bound by the instance declaration at T8155.hs:25:10-32 + • In the expression: buildV + In an equation for ‘build'’: build' = buildV + In the instance declaration for ‘Build (a -> a)’ diff --git a/testsuite/tests/linear/should_fail/TypeClass.stderr b/testsuite/tests/linear/should_fail/TypeClass.stderr index 97ff625686..c7116dd22b 100644 --- a/testsuite/tests/linear/should_fail/TypeClass.stderr +++ b/testsuite/tests/linear/should_fail/TypeClass.stderr @@ -1,5 +1,5 @@ TypeClass.hs:45:7: error: - • No instance for (Iden (FUN 'One)) arising from a use of ‘iden’ + • No instance for ‘Iden (FUN 'One)’ arising from a use of ‘iden’ • In the expression: iden In an equation for ‘foo’: foo = iden diff --git a/testsuite/tests/mdo/should_fail/mdofail001.stderr b/testsuite/tests/mdo/should_fail/mdofail001.stderr index 00de253367..9a3ea6686d 100644 --- a/testsuite/tests/mdo/should_fail/mdofail001.stderr +++ b/testsuite/tests/mdo/should_fail/mdofail001.stderr @@ -1,6 +1,6 @@ -mdofail001.hs:10:32: - No instance for (Num Char) arising from the literal ‘1’ - In the expression: 1 - In the first argument of ‘l’, namely ‘[1, 2, 3]’ - In the expression: l [1, 2, 3] +mdofail001.hs:10:32: error: + • No instance for ‘Num Char’ arising from the literal ‘1’ + • In the expression: 1 + In the first argument of ‘l’, namely ‘[1, 2, 3]’ + In the expression: l [1, 2, 3] diff --git a/testsuite/tests/module/mod46.stderr b/testsuite/tests/module/mod46.stderr index 6eb0028199..fb6bd6692c 100644 --- a/testsuite/tests/module/mod46.stderr +++ b/testsuite/tests/module/mod46.stderr @@ -1,5 +1,5 @@ -mod46.hs:4:10: - No instance for (Eq T) - arising from the superclasses of an instance declaration - In the instance declaration for ‘Ord T’ +mod46.hs:4:10: error: + • No instance for ‘Eq T’ + arising from the superclasses of an instance declaration + • In the instance declaration for ‘Ord T’ diff --git a/testsuite/tests/module/mod47.stderr b/testsuite/tests/module/mod47.stderr index 6df1a6b63b..d88d3d140d 100644 --- a/testsuite/tests/module/mod47.stderr +++ b/testsuite/tests/module/mod47.stderr @@ -1,9 +1,9 @@ -mod47.hs:6:10: - Could not deduce (Num a) - arising from the superclasses of an instance declaration - from the context: (Eq a, Enum a) - bound by the instance declaration at mod47.hs:6:10-34 - Possible fix: - add (Num a) to the context of the instance declaration - In the instance declaration for ‘Bar [a]’ +mod47.hs:6:10: error: + • Could not deduce ‘Num a’ + arising from the superclasses of an instance declaration + from the context: (Eq a, Enum a) + bound by the instance declaration at mod47.hs:6:10-34 + Possible fix: + add (Num a) to the context of the instance declaration + • In the instance declaration for ‘Bar [a]’ diff --git a/testsuite/tests/module/mod54.stderr b/testsuite/tests/module/mod54.stderr index 2670b53e2d..4ed64b7509 100644 --- a/testsuite/tests/module/mod54.stderr +++ b/testsuite/tests/module/mod54.stderr @@ -1,8 +1,8 @@ -mod54.hs:3:22: - No instance for (Eq T) - arising from the 'deriving' clause of a data type declaration - Possible fix: - use a standalone 'deriving instance' declaration, - so you can specify the instance context yourself - When deriving the instance for (Ord T) +mod54.hs:3:22: error: + • No instance for ‘Eq T’ + arising from the 'deriving' clause of a data type declaration + Possible fix: + use a standalone 'deriving instance' declaration, + so you can specify the instance context yourself + • When deriving the instance for (Ord T) diff --git a/testsuite/tests/monadfail/MonadFailErrors.stderr b/testsuite/tests/monadfail/MonadFailErrors.stderr index ac2af1e10d..792b4808c6 100644 --- a/testsuite/tests/monadfail/MonadFailErrors.stderr +++ b/testsuite/tests/monadfail/MonadFailErrors.stderr @@ -1,6 +1,6 @@ MonadFailErrors.hs:14:5: error: - • Could not deduce (MonadFail m) + • Could not deduce ‘MonadFail m’ arising from a do statement with the failable pattern ‘Just x’ from the context: Monad m @@ -21,7 +21,7 @@ MonadFailErrors.hs:14:5: error: undefined MonadFailErrors.hs:28:5: error: - • No instance for (MonadFail Identity) + • No instance for ‘MonadFail Identity’ arising from a do statement with the failable pattern ‘Just x’ • In a stmt of a 'do' block: Just x <- undefined @@ -34,7 +34,7 @@ MonadFailErrors.hs:28:5: error: undefined MonadFailErrors.hs:42:5: error: - • No instance for (MonadFail ((->) r)) + • No instance for ‘MonadFail ((->) r)’ arising from a do statement with the failable pattern ‘Just x’ • In a stmt of a 'do' block: Just x <- undefined diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr index b1a7b24ba5..f6717a6df8 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail02.stderr @@ -1,12 +1,12 @@ overloadedlistsfail02.hs:6:8: error: - • No instance for (GHC.IsList.IsList Foo) + • No instance for ‘GHC.IsList.IsList Foo’ arising from an overloaded list • In the expression: [7] In an equation for ‘test’: test = [7] overloadedlistsfail02.hs:6:9: error: - • No instance for (Num (GHC.IsList.Item Foo)) + • No instance for ‘Num (GHC.IsList.Item Foo)’ arising from the literal ‘7’ • In the expression: 7 In the expression: [7] diff --git a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail04.stderr b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail04.stderr index 93811d40c7..5a5f3915a9 100644 --- a/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail04.stderr +++ b/testsuite/tests/overloadedlists/should_fail/overloadedlistsfail04.stderr @@ -1,8 +1,8 @@ -overloadedlistsfail04.hs:3:15: - No instance for (Enum [Char]) - arising from the arithmetic sequence ‘"a" .. "b"’ - In the first argument of ‘print’, namely - ‘(["a" .. "b"] :: [String])’ - In the expression: print (["a" .. "b"] :: [String]) - In an equation for ‘main’: main = print (["a" .. "b"] :: [String]) +overloadedlistsfail04.hs:3:15: error: + • No instance for ‘Enum [Char]’ + arising from the arithmetic sequence ‘"a" .. "b"’ + • In the first argument of ‘print’, namely + ‘(["a" .. "b"] :: [String])’ + In the expression: print (["a" .. "b"] :: [String]) + In an equation for ‘main’: main = print (["a" .. "b"] :: [String]) diff --git a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr index 086d951580..157f3960c1 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail01.stderr @@ -2,7 +2,7 @@ [2 of 3] Compiling Main ( hasfieldfail01.hs, hasfieldfail01.o ) hasfieldfail01.hs:9:15: error: - • No instance for (HasField "foo" T Int) + • No instance for ‘HasField "foo" T Int’ arising from a use of ‘getField’ • In the first argument of ‘print’, namely ‘(getField @"foo" (MkT 42) :: Int)’ diff --git a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr index 2b90a1a987..b0df5d95ce 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/hasfieldfail02.stderr @@ -1,13 +1,12 @@ hasfieldfail02.hs:10:5: error: - • No instance for (HasField "foo" T a1) + • No instance for ‘HasField "foo" T a1’ arising from a use of ‘getField’ • In the expression: getField @"foo" (MkT id) - In an equation for ‘x’: - x = getField @"foo" (MkT id) + In an equation for ‘x’: x = getField @"foo" (MkT id) hasfieldfail02.hs:14:5: error: - • No instance for (HasField "bar" U a0) + • No instance for ‘HasField "bar" U a0’ arising from a use of ‘getField’ • In the expression: getField @"bar" (MkU True) In an equation for ‘y’: y = getField @"bar" (MkU True) diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr index f88875408d..d194cf1288 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr @@ -1,18 +1,18 @@ overloadedlabelsfail01.hs:6:5: error: - • No instance for (IsLabel "x" a0) + • No instance for ‘IsLabel "x" a0’ arising from the overloaded label ‘#x’ • In the expression: #x In an equation for ‘a’: a = #x overloadedlabelsfail01.hs:10:5: error: - • No instance for (IsLabel "x" Int) + • No instance for ‘IsLabel "x" Int’ arising from the overloaded label ‘#x’ • In the expression: #x In an equation for ‘b’: b = #x overloadedlabelsfail01.hs:14:5: error: - • Could not deduce (IsLabel "y" t) + • Could not deduce ‘IsLabel "y" t’ arising from the overloaded label ‘#y’ from the context: IsLabel "x" t bound by the type signature for: diff --git a/testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr b/testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr index 1b90621057..173a24d7c1 100644 --- a/testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr +++ b/testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr @@ -16,7 +16,7 @@ RecordDotSyntaxFail11.hs:8:3: error: print $ (.foo.bar.baz) a RecordDotSyntaxFail11.hs:8:11: error: - • No instance for (GHC.Records.HasField "baz" Int a0) + • No instance for ‘GHC.Records.HasField "baz" Int a0’ • In the second argument of ‘($)’, namely ‘(.foo.bar.baz) a’ In a stmt of a 'do' block: print $ (.foo.bar.baz) a In the expression: diff --git a/testsuite/tests/parser/should_fail/RecordDotSyntaxFail8.stderr b/testsuite/tests/parser/should_fail/RecordDotSyntaxFail8.stderr index ee03f9e4a1..195379434c 100644 --- a/testsuite/tests/parser/should_fail/RecordDotSyntaxFail8.stderr +++ b/testsuite/tests/parser/should_fail/RecordDotSyntaxFail8.stderr @@ -16,7 +16,7 @@ RecordDotSyntaxFail8.hs:37:3: error: print $ ....quux RecordDotSyntaxFail8.hs:37:11: error: - • No instance for (HasField "quux" Quux a0) + • No instance for ‘HasField "quux" Quux a0’ arising from selecting the field ‘quux’ • In the second argument of ‘($)’, namely ‘....baz.quux’ In a stmt of a 'do' block: print $ ....baz.quux diff --git a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr index 979651bcea..1dba826661 100644 --- a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr +++ b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraint.stderr @@ -1,6 +1,6 @@ AnnotatedConstraint.hs:7:8: error: - No instance for (Eq (a0 -> a0)) arising from a use of ‘foo’ - (maybe you haven't applied a function to enough arguments?) - In the expression: foo id - In an equation for ‘test’: test = foo id + • No instance for ‘Eq (a0 -> a0)’ arising from a use of ‘foo’ + (maybe you haven't applied a function to enough arguments?) + • In the expression: foo id + In an equation for ‘test’: test = foo id diff --git a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr index 5882a7861c..006bb7cc1a 100644 --- a/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr +++ b/testsuite/tests/partial-sigs/should_fail/AnnotatedConstraintNotForgotten.stderr @@ -1,5 +1,5 @@ -AnnotatedConstraintNotForgotten.hs:15:8: - No instance for (Eq Foo) arising from a use of ‘foo’ - In the expression: foo Foo - In an equation for ‘test’: test = foo Foo +AnnotatedConstraintNotForgotten.hs:15:8: error: + • No instance for ‘Eq Foo’ arising from a use of ‘foo’ + • In the expression: foo Foo + In an equation for ‘test’: test = foo Foo diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr index 3072da9b7e..10f467ba99 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotPresent.stderr @@ -1,8 +1,8 @@ ExtraConstraintsWildcardNotPresent.hs:6:11: error: - No instance for (Show a) arising from a use of ‘show’ - Possible fix: - add (Show a) to the context of - the inferred type of show' :: a -> String - In the expression: show x - In an equation for ‘show'’: show' x = show x + • No instance for ‘Show a’ arising from a use of ‘show’ + Possible fix: + add (Show a) to the context of + the inferred type of show' :: a -> String + • In the expression: show x + In an equation for ‘show'’: show' x = show x diff --git a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr index 7bb143e165..a1b30fb7af 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedExtraConstraintsWildcard.stderr @@ -1,6 +1,6 @@ NamedExtraConstraintsWildcard.hs:5:1: error: - • Could not deduce w0 + • Could not deduce ‘w0’ from the context: (Eq a, w) bound by the inferred type for ‘foo’: forall a {w :: Constraint}. (Eq a, w) => a -> a diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr index 69128accaf..a91d977ee7 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotInMonotype.stderr @@ -1,6 +1,6 @@ NamedWildcardsNotInMonotype.hs:5:1: error: - • Could not deduce (Eq w0) + • Could not deduce ‘Eq w0’ from the context: (Show a, Eq w, Eq a) bound by the inferred type for ‘foo’: forall {a} {w}. (Show a, Eq w, Eq a) => a -> a -> String diff --git a/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr b/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr index 5b82ae3e44..798272f7b0 100644 --- a/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T13324_fail2.stderr @@ -1,6 +1,6 @@ T13324_fail2.hs:7:1: error: - • No instance for (Eq (f (f a))) + • No instance for ‘Eq (f (f a))’ arising from a 'deriving' declaration Possible fix: fill in the wildcard constraint yourself • When deriving the instance for (Eq (Foo f a)) diff --git a/testsuite/tests/partial-sigs/should_fail/T14584.stderr b/testsuite/tests/partial-sigs/should_fail/T14584.stderr index 408708a564..bfa69b1636 100644 --- a/testsuite/tests/partial-sigs/should_fail/T14584.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T14584.stderr @@ -1,6 +1,6 @@ T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce (SingI a) arising from a use of ‘sing’ + • Could not deduce ‘SingI a’ arising from a use of ‘sing’ from the context: (Action act, Monoid a, Good m1) bound by the instance declaration at T14584.hs:55:10-89 • In the second argument of ‘fromSing’, namely @@ -23,7 +23,7 @@ T14584.hs:57:41: warning: [-Wdeferred-type-errors (in -Wdefault)] monHom :: a -> a (bound at T14584.hs:57:3) T14584.hs:57:50: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce (m1 ~ *) + • Could not deduce ‘m1 ~ *’ from the context: (Action act, Monoid a, Good m1) bound by the instance declaration at T14584.hs:55:10-89 ‘m1’ is a rigid type variable bound by diff --git a/testsuite/tests/patsyn/should_fail/T10873.stderr b/testsuite/tests/patsyn/should_fail/T10873.stderr index 6eb925be30..af151bbde7 100644 --- a/testsuite/tests/patsyn/should_fail/T10873.stderr +++ b/testsuite/tests/patsyn/should_fail/T10873.stderr @@ -1,6 +1,6 @@ T10873.hs:6:24: error: - • No instance for (Show a) + • No instance for ‘Show a’ arising from the "provided" constraints claimed by the signature of ‘Pat1’ In other words, a successful match on the pattern @@ -9,7 +9,7 @@ T10873.hs:6:24: error: • In the declaration for pattern synonym ‘Pat1’ T10873.hs:10:23: error: - • Could not deduce (Show a) + • Could not deduce ‘Show a’ arising from the "provided" constraints claimed by the signature of ‘Pat2’ from the context: Ord a diff --git a/testsuite/tests/patsyn/should_fail/T11667.stderr b/testsuite/tests/patsyn/should_fail/T11667.stderr index e08299b235..d10c1594ce 100644 --- a/testsuite/tests/patsyn/should_fail/T11667.stderr +++ b/testsuite/tests/patsyn/should_fail/T11667.stderr @@ -1,6 +1,6 @@ T11667.hs:12:22: error: - • Could not deduce (Num a) arising from the literal ‘42’ + • Could not deduce ‘Num a’ arising from the literal ‘42’ from the context: Eq a bound by the signature for pattern synonym ‘Pat1’ at T11667.hs:12:1-23 @@ -22,7 +22,7 @@ T11667.hs:18:28: error: • Relevant bindings include y :: b (bound at T11667.hs:18:21) T11667.hs:24:24: error: - • No instance for (Show a) + • No instance for ‘Show a’ arising from the "provided" constraints claimed by the signature of ‘Pat3’ In other words, a successful match on the pattern @@ -31,7 +31,7 @@ T11667.hs:24:24: error: • In the declaration for pattern synonym ‘Pat3’ T11667.hs:31:16: error: - • Could not deduce (Num a) arising from a use of ‘MkS’ + • Could not deduce ‘Num a’ arising from a use of ‘MkS’ from the context: (Eq a, Show a) bound by the signature for pattern synonym ‘Pat4’ at T11667.hs:31:1-21 diff --git a/testsuite/tests/patsyn/should_fail/T15685.stderr b/testsuite/tests/patsyn/should_fail/T15685.stderr index 204260a9e4..281e976549 100644 --- a/testsuite/tests/patsyn/should_fail/T15685.stderr +++ b/testsuite/tests/patsyn/should_fail/T15685.stderr @@ -1,6 +1,6 @@ T15685.hs:13:24: error: - • Could not deduce (k ~ [k0]) + • Could not deduce ‘k ~ [k0]’ from the context: as ~ (a : as1) bound by a pattern with constructor: Here :: forall {k} (f :: k -> *) (a :: k) (as :: [k]). diff --git a/testsuite/tests/patsyn/should_fail/T15695.stderr b/testsuite/tests/patsyn/should_fail/T15695.stderr index 62b082fd41..05b4de5225 100644 --- a/testsuite/tests/patsyn/should_fail/T15695.stderr +++ b/testsuite/tests/patsyn/should_fail/T15695.stderr @@ -1,6 +1,6 @@ T15695.hs:40:14: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce (a2 ~ NA 'VO) + • Could not deduce ‘a2 ~ NA 'VO’ from the context: ((* -> * -> *) ~ (k -> k1 -> *), Either ~~ f, ctx ~~ (a2 ':&: (a3 ':&: 'E)), f a2 ~~ f1, f1 a3 ~~ a4) bound by a pattern with pattern synonym: diff --git a/testsuite/tests/perf/compiler/InstanceMatching.stderr b/testsuite/tests/perf/compiler/InstanceMatching.stderr index f4e978cf2e..d7b0eb155b 100644 --- a/testsuite/tests/perf/compiler/InstanceMatching.stderr +++ b/testsuite/tests/perf/compiler/InstanceMatching.stderr @@ -1,5 +1,5 @@ -Match.hs:1006:1: error: - • No instance for (Show (F001 a)) arising from a use of ‘showsPrec’ +Match.hs:1007:1: error: + • No instance for ‘Show (F001 a)’ arising from a use of ‘showsPrec’ • In the first argument of ‘(.)’, namely ‘(showsPrec 11 b1)’ In the second argument of ‘(.)’, namely diff --git a/testsuite/tests/perf/compiler/T9872a.stderr b/testsuite/tests/perf/compiler/T9872a.stderr index 067dc35606..636f6b22d8 100644 --- a/testsuite/tests/perf/compiler/T9872a.stderr +++ b/testsuite/tests/perf/compiler/T9872a.stderr @@ -1,66 +1,66 @@ -T9872a.hs:17:8: - No instance for (Show - (Proxy - (Cons - (Cons - (Cube G B W R B G) - (Cons - (Cube W G B W R R) - (Cons (Cube R W R B G R) (Cons (Cube B R G G W W) Nil)))) - (Cons - (Cons - (Cube G B R W B G) - (Cons - (Cube R R W B G W) - (Cons (Cube R G B R W R) (Cons (Cube W W G G R B) Nil)))) - (Cons - (Cons - (Cube G W R B B G) - (Cons - (Cube W B W R G R) - (Cons (Cube R R B G W R) (Cons (Cube B G G W R W) Nil)))) - (Cons - (Cons - (Cube G R W B B G) - (Cons - (Cube R W B G R W) - (Cons - (Cube R B R W G R) (Cons (Cube W G G R W B) Nil)))) - (Cons - (Cons - (Cube G R B B W G) - (Cons - (Cube W W R G B R) - (Cons - (Cube R B G W R R) - (Cons (Cube B G W R G W) Nil)))) - (Cons - (Cons - (Cube G W B B R G) - (Cons - (Cube R B G R W W) - (Cons - (Cube R R W G B R) - (Cons (Cube W G R W G B) Nil)))) - (Cons - (Cons - (Cube G B B W R G) - (Cons - (Cube W R G B W R) - (Cons - (Cube R G W R B R) - (Cons (Cube B W R G G W) Nil)))) - (Cons - (Cons - (Cube G B B R W G) - (Cons - (Cube R G R W B W) - (Cons - (Cube R W G B R R) - (Cons (Cube W R W G G B) Nil)))) - Nil)))))))))) - arising from a use of ‘print’ - In the expression: print (Proxy :: Proxy (Solutions Cubes)) - In an equation for ‘main’: - main = print (Proxy :: Proxy (Solutions Cubes)) +T9872a.hs:17:8: error: + • No instance for ‘Show + (Proxy + (Cons + (Cons + (Cube G B W R B G) + (Cons + (Cube W G B W R R) + (Cons (Cube R W R B G R) (Cons (Cube B R G G W W) Nil)))) + (Cons + (Cons + (Cube G B R W B G) + (Cons + (Cube R R W B G W) + (Cons (Cube R G B R W R) (Cons (Cube W W G G R B) Nil)))) + (Cons + (Cons + (Cube G W R B B G) + (Cons + (Cube W B W R G R) + (Cons (Cube R R B G W R) (Cons (Cube B G G W R W) Nil)))) + (Cons + (Cons + (Cube G R W B B G) + (Cons + (Cube R W B G R W) + (Cons + (Cube R B R W G R) (Cons (Cube W G G R W B) Nil)))) + (Cons + (Cons + (Cube G R B B W G) + (Cons + (Cube W W R G B R) + (Cons + (Cube R B G W R R) + (Cons (Cube B G W R G W) Nil)))) + (Cons + (Cons + (Cube G W B B R G) + (Cons + (Cube R B G R W W) + (Cons + (Cube R R W G B R) + (Cons (Cube W G R W G B) Nil)))) + (Cons + (Cons + (Cube G B B W R G) + (Cons + (Cube W R G B W R) + (Cons + (Cube R G W R B R) + (Cons (Cube B W R G G W) Nil)))) + (Cons + (Cons + (Cube G B B R W G) + (Cons + (Cube R G R W B W) + (Cons + (Cube R W G B R R) + (Cons (Cube W R W G G B) Nil)))) + Nil)))))))))’ + arising from a use of ‘print’ + • In the expression: print (Proxy :: Proxy (Solutions Cubes)) + In an equation for ‘main’: + main = print (Proxy :: Proxy (Solutions Cubes)) diff --git a/testsuite/tests/perf/compiler/T9872b.stderr b/testsuite/tests/perf/compiler/T9872b.stderr index 6224056185..308809568a 100644 --- a/testsuite/tests/perf/compiler/T9872b.stderr +++ b/testsuite/tests/perf/compiler/T9872b.stderr @@ -1,24 +1,24 @@ -T9872b.hs:19:8: - No instance for (Show - (Proxy - '[ '[ 'Cube 'G 'B 'W 'R 'B 'G, 'Cube 'W 'G 'B 'W 'R 'R, - 'Cube 'R 'W 'R 'B 'G 'R, 'Cube 'B 'R 'G 'G 'W 'W], - '[ 'Cube 'G 'B 'R 'W 'B 'G, 'Cube 'R 'R 'W 'B 'G 'W, - 'Cube 'R 'G 'B 'R 'W 'R, 'Cube 'W 'W 'G 'G 'R 'B], - '[ 'Cube 'G 'W 'R 'B 'B 'G, 'Cube 'W 'B 'W 'R 'G 'R, - 'Cube 'R 'R 'B 'G 'W 'R, 'Cube 'B 'G 'G 'W 'R 'W], - '[ 'Cube 'G 'R 'W 'B 'B 'G, 'Cube 'R 'W 'B 'G 'R 'W, - 'Cube 'R 'B 'R 'W 'G 'R, 'Cube 'W 'G 'G 'R 'W 'B], - '[ 'Cube 'G 'R 'B 'B 'W 'G, 'Cube 'W 'W 'R 'G 'B 'R, - 'Cube 'R 'B 'G 'W 'R 'R, 'Cube 'B 'G 'W 'R 'G 'W], - '[ 'Cube 'G 'W 'B 'B 'R 'G, 'Cube 'R 'B 'G 'R 'W 'W, - 'Cube 'R 'R 'W 'G 'B 'R, 'Cube 'W 'G 'R 'W 'G 'B], - '[ 'Cube 'G 'B 'B 'W 'R 'G, 'Cube 'W 'R 'G 'B 'W 'R, - 'Cube 'R 'G 'W 'R 'B 'R, 'Cube 'B 'W 'R 'G 'G 'W], - '[ 'Cube 'G 'B 'B 'R 'W 'G, 'Cube 'R 'G 'R 'W 'B 'W, - 'Cube 'R 'W 'G 'B 'R 'R, 'Cube 'W 'R 'W 'G 'G 'B]])) - arising from a use of ‘print’ - In the expression: print (Proxy :: Proxy (Solutions Cubes)) - In an equation for ‘main’: - main = print (Proxy :: Proxy (Solutions Cubes)) +T9872b.hs:19:8: error: + • No instance for ‘Show + (Proxy + '[ '[ 'Cube 'G 'B 'W 'R 'B 'G, 'Cube 'W 'G 'B 'W 'R 'R, + 'Cube 'R 'W 'R 'B 'G 'R, 'Cube 'B 'R 'G 'G 'W 'W], + '[ 'Cube 'G 'B 'R 'W 'B 'G, 'Cube 'R 'R 'W 'B 'G 'W, + 'Cube 'R 'G 'B 'R 'W 'R, 'Cube 'W 'W 'G 'G 'R 'B], + '[ 'Cube 'G 'W 'R 'B 'B 'G, 'Cube 'W 'B 'W 'R 'G 'R, + 'Cube 'R 'R 'B 'G 'W 'R, 'Cube 'B 'G 'G 'W 'R 'W], + '[ 'Cube 'G 'R 'W 'B 'B 'G, 'Cube 'R 'W 'B 'G 'R 'W, + 'Cube 'R 'B 'R 'W 'G 'R, 'Cube 'W 'G 'G 'R 'W 'B], + '[ 'Cube 'G 'R 'B 'B 'W 'G, 'Cube 'W 'W 'R 'G 'B 'R, + 'Cube 'R 'B 'G 'W 'R 'R, 'Cube 'B 'G 'W 'R 'G 'W], + '[ 'Cube 'G 'W 'B 'B 'R 'G, 'Cube 'R 'B 'G 'R 'W 'W, + 'Cube 'R 'R 'W 'G 'B 'R, 'Cube 'W 'G 'R 'W 'G 'B], + '[ 'Cube 'G 'B 'B 'W 'R 'G, 'Cube 'W 'R 'G 'B 'W 'R, + 'Cube 'R 'G 'W 'R 'B 'R, 'Cube 'B 'W 'R 'G 'G 'W], + '[ 'Cube 'G 'B 'B 'R 'W 'G, 'Cube 'R 'G 'R 'W 'B 'W, + 'Cube 'R 'W 'G 'B 'R 'R, 'Cube 'W 'R 'W 'G 'G 'B]])’ + arising from a use of ‘print’ + • In the expression: print (Proxy :: Proxy (Solutions Cubes)) + In an equation for ‘main’: + main = print (Proxy :: Proxy (Solutions Cubes)) diff --git a/testsuite/tests/perf/compiler/T9872b_defer.stderr b/testsuite/tests/perf/compiler/T9872b_defer.stderr index 965f9e0c43..2dd3ba6dfd 100644 --- a/testsuite/tests/perf/compiler/T9872b_defer.stderr +++ b/testsuite/tests/perf/compiler/T9872b_defer.stderr @@ -1,6 +1,6 @@ T9872b_defer.hs:19:8: warning: [-Wdeferred-type-errors (in -Wdefault)] - • No instance for (Show + • No instance for ‘Show (Proxy '[ '[ 'Cube 'G 'B 'W 'R 'B 'G, 'Cube 'W 'G 'B 'W 'R 'R, 'Cube 'R 'W 'R 'B 'G 'R, 'Cube 'B 'R 'G 'G 'W 'W], @@ -17,7 +17,7 @@ T9872b_defer.hs:19:8: warning: [-Wdeferred-type-errors (in -Wdefault)] '[ 'Cube 'G 'B 'B 'W 'R 'G, 'Cube 'W 'R 'G 'B 'W 'R, 'Cube 'R 'G 'W 'R 'B 'R, 'Cube 'B 'W 'R 'G 'G 'W], '[ 'Cube 'G 'B 'B 'R 'W 'G, 'Cube 'R 'G 'R 'W 'B 'W, - 'Cube 'R 'W 'G 'B 'R 'R, 'Cube 'W 'R 'W 'G 'G 'B]])) + 'Cube 'R 'W 'G 'B 'R 'R, 'Cube 'W 'R 'W 'G 'G 'B]])’ arising from a use of ‘print’ • In the expression: print (Proxy :: Proxy (Solutions Cubes)) In an equation for ‘main’: diff --git a/testsuite/tests/perf/compiler/T9872c.stderr b/testsuite/tests/perf/compiler/T9872c.stderr index 5c22868ff2..da4f655794 100644 --- a/testsuite/tests/perf/compiler/T9872c.stderr +++ b/testsuite/tests/perf/compiler/T9872c.stderr @@ -1,66 +1,66 @@ -T9872c.hs:18:8: - No instance for (Show - (Proxy - (Cons - (Cons - (Cube G B W R B G) - (Cons - (Cube W G B W R R) - (Cons (Cube R W R B G R) (Cons (Cube B R G G W W) Nil)))) - (Cons - (Cons - (Cube G B R W B G) - (Cons - (Cube R R W B G W) - (Cons (Cube R G B R W R) (Cons (Cube W W G G R B) Nil)))) - (Cons - (Cons - (Cube G W R B B G) - (Cons - (Cube W B W R G R) - (Cons (Cube R R B G W R) (Cons (Cube B G G W R W) Nil)))) - (Cons - (Cons - (Cube G R W B B G) - (Cons - (Cube R W B G R W) - (Cons - (Cube R B R W G R) (Cons (Cube W G G R W B) Nil)))) - (Cons - (Cons - (Cube G R B B W G) - (Cons - (Cube W W R G B R) - (Cons - (Cube R B G W R R) - (Cons (Cube B G W R G W) Nil)))) - (Cons - (Cons - (Cube G W B B R G) - (Cons - (Cube R B G R W W) - (Cons - (Cube R R W G B R) - (Cons (Cube W G R W G B) Nil)))) - (Cons - (Cons - (Cube G B B W R G) - (Cons - (Cube W R G B W R) - (Cons - (Cube R G W R B R) - (Cons (Cube B W R G G W) Nil)))) - (Cons - (Cons - (Cube G B B R W G) - (Cons - (Cube R G R W B W) - (Cons - (Cube R W G B R R) - (Cons (Cube W R W G G B) Nil)))) - Nil)))))))))) - arising from a use of ‘print’ - In the expression: print (Proxy :: Proxy (Solutions Cubes)) - In an equation for ‘main’: - main = print (Proxy :: Proxy (Solutions Cubes)) +T9872c.hs:18:8: error: + • No instance for ‘Show + (Proxy + (Cons + (Cons + (Cube G B W R B G) + (Cons + (Cube W G B W R R) + (Cons (Cube R W R B G R) (Cons (Cube B R G G W W) Nil)))) + (Cons + (Cons + (Cube G B R W B G) + (Cons + (Cube R R W B G W) + (Cons (Cube R G B R W R) (Cons (Cube W W G G R B) Nil)))) + (Cons + (Cons + (Cube G W R B B G) + (Cons + (Cube W B W R G R) + (Cons (Cube R R B G W R) (Cons (Cube B G G W R W) Nil)))) + (Cons + (Cons + (Cube G R W B B G) + (Cons + (Cube R W B G R W) + (Cons + (Cube R B R W G R) (Cons (Cube W G G R W B) Nil)))) + (Cons + (Cons + (Cube G R B B W G) + (Cons + (Cube W W R G B R) + (Cons + (Cube R B G W R R) + (Cons (Cube B G W R G W) Nil)))) + (Cons + (Cons + (Cube G W B B R G) + (Cons + (Cube R B G R W W) + (Cons + (Cube R R W G B R) + (Cons (Cube W G R W G B) Nil)))) + (Cons + (Cons + (Cube G B B W R G) + (Cons + (Cube W R G B W R) + (Cons + (Cube R G W R B R) + (Cons (Cube B W R G G W) Nil)))) + (Cons + (Cons + (Cube G B B R W G) + (Cons + (Cube R G R W B W) + (Cons + (Cube R W G B R R) + (Cons (Cube W R W G G B) Nil)))) + Nil)))))))))’ + arising from a use of ‘print’ + • In the expression: print (Proxy :: Proxy (Solutions Cubes)) + In an equation for ‘main’: + main = print (Proxy :: Proxy (Solutions Cubes)) diff --git a/testsuite/tests/polykinds/T6054.stderr b/testsuite/tests/polykinds/T6054.stderr index 800b5599ce..3c967a12be 100644 --- a/testsuite/tests/polykinds/T6054.stderr +++ b/testsuite/tests/polykinds/T6054.stderr @@ -1,6 +1,6 @@ T6054.hs:7:14: error: - • No instance for (Bar '() a0) + • No instance for ‘Bar '() a0’ arising from an expression type signature • In the first argument of ‘print’, namely ‘(Proxy :: Bar '() a => Proxy a)’ diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index aea0ea4a9d..679a96bddd 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -1,6 +1,6 @@ T7230.hs:48:32: error: - • Could not deduce ((x :<<= x1) ~ 'True) + • Could not deduce ‘(x :<<= x1) ~ 'True’ from the context: Increasing xs ~ 'True bound by the type signature for: crash :: forall (xs :: [Nat]). diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr index f3ce4851ab..e6b99ea452 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,6 +1,6 @@ T7438.hs:6:14: error: - • Could not deduce (p1 ~ p2) + • Could not deduce ‘p1 ~ p2’ from the context: b ~ a bound by a pattern with constructor: Nil :: forall {k} (a :: k). Thrist a a, diff --git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr index 9a75c80ec3..39ebac66d5 100644 --- a/testsuite/tests/polykinds/T7594.stderr +++ b/testsuite/tests/polykinds/T7594.stderr @@ -1,6 +1,6 @@ T7594.hs:37:12: error: - • Could not deduce (b ~ IO ()) + • Could not deduce ‘b ~ IO ()’ from the context: (:&:) c0 Real a bound by a type expected by the context: forall a. (:&:) c0 Real a => a -> b diff --git a/testsuite/tests/polykinds/T8566.stderr b/testsuite/tests/polykinds/T8566.stderr index d67f47c771..20d56fc63c 100644 --- a/testsuite/tests/polykinds/T8566.stderr +++ b/testsuite/tests/polykinds/T8566.stderr @@ -1,6 +1,6 @@ T8566.hs:35:9: error: - • Could not deduce (C ('AA (t (I a ps)) as) ps fs0) + • Could not deduce ‘C ('AA (t (I a ps)) as) ps fs0’ arising from a use of ‘c’ from the context: C ('AA (t (I a ps)) as) ps fs bound by the instance declaration at T8566.hs:33:10-67 diff --git a/testsuite/tests/quantified-constraints/T19921.stderr b/testsuite/tests/quantified-constraints/T19921.stderr index 7433fc6370..bf33abe256 100644 --- a/testsuite/tests/quantified-constraints/T19921.stderr +++ b/testsuite/tests/quantified-constraints/T19921.stderr @@ -1,6 +1,6 @@ T19921.hs:29:8: error: - • Could not deduce r arising from a use of ‘Dict’ + • Could not deduce ‘r’ arising from a use of ‘Dict’ from the context: (x \/ y) \/ z bound by a quantified context at T19921.hs:29:8-11 or from: (x ⇒ r, (y \/ z) ⇒ r) diff --git a/testsuite/tests/quantified-constraints/T21006.stderr b/testsuite/tests/quantified-constraints/T21006.stderr index 6be755e4b0..cd8ee705bb 100644 --- a/testsuite/tests/quantified-constraints/T21006.stderr +++ b/testsuite/tests/quantified-constraints/T21006.stderr @@ -1,6 +1,6 @@ T21006.hs:14:10: error: - • Could not deduce c + • Could not deduce ‘c’ arising from the superclasses of an instance declaration from the context: (Determines b, Determines c) bound by a quantified context at T21006.hs:14:10-15 diff --git a/testsuite/tests/rebindable/T20126.stderr b/testsuite/tests/rebindable/T20126.stderr index 420f723431..c23bab54e5 100644 --- a/testsuite/tests/rebindable/T20126.stderr +++ b/testsuite/tests/rebindable/T20126.stderr @@ -1,6 +1,6 @@ T20126.hs:13:7: error: - • No instance for (Wombat ()) + • No instance for ‘Wombat ()’ arising from an if-then-else expression • In the expression: if True then () else () In an equation for ‘foo’: foo = if True then () else () diff --git a/testsuite/tests/rename/should_fail/T19843h.stderr b/testsuite/tests/rename/should_fail/T19843h.stderr index f7eeb9d5e9..963740ca35 100644 --- a/testsuite/tests/rename/should_fail/T19843h.stderr +++ b/testsuite/tests/rename/should_fail/T19843h.stderr @@ -1,31 +1,31 @@ T19843h.hs:14:7: error: - • No instance for (GHC.Records.HasField "mup" r4 a4) + • No instance for ‘GHC.Records.HasField "mup" r4 a4’ arising from selecting the field ‘mup’ Perhaps use ‘mop’ (line 11) • In the expression: undefined.mup In an equation for ‘foo’: foo = undefined.mup T19843h.hs:16:7: error: - • No instance for (GHC.Records.HasField "traverse" r3 a3) + • No instance for ‘GHC.Records.HasField "traverse" r3 a3’ arising from selecting the field ‘traverse’ • In the expression: undefined.traverse In an equation for ‘bar’: bar = undefined.traverse T19843h.hs:18:7: error: - • No instance for (GHC.Records.HasField "getSum" r2 a2) + • No instance for ‘GHC.Records.HasField "getSum" r2 a2’ arising from selecting the field ‘getSum’ • In the expression: undefined.getSum In an equation for ‘baz’: baz = undefined.getSum T19843h.hs:20:8: error: - • No instance for (GHC.Records.HasField "getAlt" r1 a1) + • No instance for ‘GHC.Records.HasField "getAlt" r1 a1’ arising from selecting the field ‘getAlt’ • In the expression: undefined.getAlt In an equation for ‘quux’: quux = undefined.getAlt T19843h.hs:24:8: error: - • No instance for (GHC.Records.HasField "getAll" r0 a0) + • No instance for ‘GHC.Records.HasField "getAll" r0 a0’ arising from selecting the field ‘getAll’ Perhaps use ‘getAlt’ (imported from Data.Monoid) Perhaps you want to add ‘getAll’ to the import list diff --git a/testsuite/tests/rep-poly/EtaExpandStupid2.stderr b/testsuite/tests/rep-poly/EtaExpandStupid2.stderr index d0319f8628..8477952cb4 100644 --- a/testsuite/tests/rep-poly/EtaExpandStupid2.stderr +++ b/testsuite/tests/rep-poly/EtaExpandStupid2.stderr @@ -1,6 +1,6 @@ EtaExpandStupid2.hs:16:8: error: - • No instance for (Num c) arising from a use of ‘MkD4’ + • No instance for ‘Num c’ arising from a use of ‘MkD4’ Possible fix: add (Num c) to the context of the type signature for: diff --git a/testsuite/tests/safeHaskell/ghci/p14.stderr b/testsuite/tests/safeHaskell/ghci/p14.stderr index 74717b1217..804526b153 100644 --- a/testsuite/tests/safeHaskell/ghci/p14.stderr +++ b/testsuite/tests/safeHaskell/ghci/p14.stderr @@ -3,7 +3,7 @@ when making flags consistent: warning: Optimization flags are incompatible with the byte-code interpreter; optimization flags ignored. :10:25: error: - • No instance for (Num a) arising from a use of ‘f’ + • No instance for ‘Num a’ arising from a use of ‘f’ Possible fix: add (Num a) to the context of the RULE "id/Int" • In the expression: f When checking the rewrite rule "id/Int" diff --git a/testsuite/tests/tcplugins/TcPlugin_RewritePerf.stderr b/testsuite/tests/tcplugins/TcPlugin_RewritePerf.stderr index 1213844c57..baa39e8374 100644 --- a/testsuite/tests/tcplugins/TcPlugin_RewritePerf.stderr +++ b/testsuite/tests/tcplugins/TcPlugin_RewritePerf.stderr @@ -3,7 +3,7 @@ [3 of 4] Compiling Main ( TcPlugin_RewritePerf.hs, TcPlugin_RewritePerf.o ) TcPlugin_RewritePerf.hs:25:8: error: - • No instance for (Show + • No instance for ‘Show (Proxy '[ '[ 'Cube 'G 'B 'W 'R 'B 'G, 'Cube 'W 'G 'B 'W 'R 'R, 'Cube 'R 'W 'R 'B 'G 'R, 'Cube 'B 'R 'G 'G 'W 'W], @@ -20,7 +20,7 @@ TcPlugin_RewritePerf.hs:25:8: error: '[ 'Cube 'G 'B 'B 'W 'R 'G, 'Cube 'W 'R 'G 'B 'W 'R, 'Cube 'R 'G 'W 'R 'B 'R, 'Cube 'B 'W 'R 'G 'G 'W], '[ 'Cube 'G 'B 'B 'R 'W 'G, 'Cube 'R 'G 'R 'W 'B 'W, - 'Cube 'R 'W 'G 'B 'R 'R, 'Cube 'W 'R 'W 'G 'G 'B]])) + 'Cube 'R 'W 'G 'B 'R 'R, 'Cube 'W 'R 'W 'G 'G 'B]])’ arising from a use of ‘print’ • In the expression: print (Proxy :: Proxy (Solutions Cubes)) In an equation for ‘main’: diff --git a/testsuite/tests/th/overloaded/TH_overloaded_no_instance.stderr b/testsuite/tests/th/overloaded/TH_overloaded_no_instance.stderr index 78f70c4d85..7e8eab0702 100644 --- a/testsuite/tests/th/overloaded/TH_overloaded_no_instance.stderr +++ b/testsuite/tests/th/overloaded/TH_overloaded_no_instance.stderr @@ -1,5 +1,5 @@ TH_overloaded_no_instance.hs:13:10: error: - • No instance for (Quote NewType) arising from a quotation bracket + • No instance for ‘Quote NewType’ arising from a quotation bracket • In the expression: [| 5 |] In an equation for ‘quote2’: quote2 = [| 5 |] diff --git a/testsuite/tests/typecheck/no_skolem_info/T19752.stderr b/testsuite/tests/typecheck/no_skolem_info/T19752.stderr index 702522c059..ce65be3e62 100644 --- a/testsuite/tests/typecheck/no_skolem_info/T19752.stderr +++ b/testsuite/tests/typecheck/no_skolem_info/T19752.stderr @@ -1,6 +1,6 @@ T19752.hs:12:10: error: - • Could not deduce (F b0 ~ a) + • Could not deduce ‘F b0 ~ a’ from the context: F b ~ a bound by the type signature for: f :: forall b. (F b ~ a) => a diff --git a/testsuite/tests/typecheck/no_skolem_info/T20063.stderr b/testsuite/tests/typecheck/no_skolem_info/T20063.stderr index bb3b2c04b6..5979d48438 100644 --- a/testsuite/tests/typecheck/no_skolem_info/T20063.stderr +++ b/testsuite/tests/typecheck/no_skolem_info/T20063.stderr @@ -1,6 +1,6 @@ T20063.hs:25:21: error: - • Could not deduce (ctx4 ~ (ctx0 :*& l0)) + • Could not deduce ‘ctx4 ~ (ctx0 :*& l0)’ from the context: (ctx1 ~ 'Extend ctx7, ctx2 ~ 'Extend ctx8) bound by a pattern with constructor: U :: forall {k} (ctx1 :: Context) (ctx2 :: Context) (l :: k). diff --git a/testsuite/tests/typecheck/no_skolem_info/T20969.stderr b/testsuite/tests/typecheck/no_skolem_info/T20969.stderr index 2a5646b354..94e74523d3 100644 --- a/testsuite/tests/typecheck/no_skolem_info/T20969.stderr +++ b/testsuite/tests/typecheck/no_skolem_info/T20969.stderr @@ -1,6 +1,6 @@ T20969.hs:10:40: error: - • No instance for (TH.Lift a) arising from a use of ‘TH.liftTyped’ + • No instance for ‘TH.Lift a’ arising from a use of ‘TH.liftTyped’ • In the expression: TH.liftTyped _ :: TH.Code TH.Q a In the first argument of ‘fromList’, namely ‘[TH.liftTyped _ :: TH.Code TH.Q a, [|| x ||]]’ diff --git a/testsuite/tests/typecheck/should_compile/T12734a.stderr b/testsuite/tests/typecheck/should_compile/T12734a.stderr index 8d777c6616..4b4e41b8a4 100644 --- a/testsuite/tests/typecheck/should_compile/T12734a.stderr +++ b/testsuite/tests/typecheck/should_compile/T12734a.stderr @@ -1,6 +1,6 @@ T12734a.hs:72:16: error: - • No instance for (Monad (KT A '[Ty] IO)) + • No instance for ‘Monad (KT A '[Ty] IO)’ arising from a use of ‘test_gr’ • In the expression: test_gr @(KT A '[Ty] IO) @_ @'[Ty] @(Expr Net '[Ty]) diff --git a/testsuite/tests/typecheck/should_compile/T13651.stderr b/testsuite/tests/typecheck/should_compile/T13651.stderr index a25eedcbbc..d97e3bce49 100644 --- a/testsuite/tests/typecheck/should_compile/T13651.stderr +++ b/testsuite/tests/typecheck/should_compile/T13651.stderr @@ -1,6 +1,6 @@ T13651.hs:12:8: error: - • Could not deduce (cs ~ Bar (Foo h) (Foo s)) + • Could not deduce ‘cs ~ Bar (Foo h) (Foo s)’ from the context: (F cr cu ~ Bar h (Bar r u), F cu cs ~ Bar (Foo h) (Bar u s)) bound by the type signature for: diff --git a/testsuite/tests/typecheck/should_compile/T14273.stderr b/testsuite/tests/typecheck/should_compile/T14273.stderr index acf1205cb7..07cbffe650 100644 --- a/testsuite/tests/typecheck/should_compile/T14273.stderr +++ b/testsuite/tests/typecheck/should_compile/T14273.stderr @@ -1,6 +1,6 @@ T14273.hs:7:27: warning: [-Wdeferred-type-errors (in -Wdefault)] - • Could not deduce (Show a1) arising from a use of ‘show’ + • Could not deduce ‘Show a1’ arising from a use of ‘show’ from the context: Show a bound by the type signature for: pleaseShow :: forall a. Show a => Bool -> a -> Maybe String @@ -11,7 +11,7 @@ T14273.hs:7:27: warning: [-Wdeferred-type-errors (in -Wdefault)] -- Defined in ‘Data.Either’ instance Show Ordering -- Defined in ‘GHC.Show’ ...plus 26 others - ...plus 71 instances involving out-of-scope types + ...plus 28 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) diff --git a/testsuite/tests/typecheck/should_compile/T17775-viewpats-b.stderr b/testsuite/tests/typecheck/should_compile/T17775-viewpats-b.stderr index 4214016b2a..c8cf911e3a 100644 --- a/testsuite/tests/typecheck/should_compile/T17775-viewpats-b.stderr +++ b/testsuite/tests/typecheck/should_compile/T17775-viewpats-b.stderr @@ -1,6 +1,6 @@ T17775-viewpats-b.hs:7:9: error: - • No instance for (Eq a) arising from a use of ‘==’ + • No instance for ‘Eq a’ arising from a use of ‘==’ Possible fix: add (Eq a) to the context of the type signature for: diff --git a/testsuite/tests/typecheck/should_compile/tc231.stderr b/testsuite/tests/typecheck/should_compile/tc231.stderr index 9eb532bc05..e3118409ce 100644 --- a/testsuite/tests/typecheck/should_compile/tc231.stderr +++ b/testsuite/tests/typecheck/should_compile/tc231.stderr @@ -1,6 +1,6 @@ tc231.hs:34:9: error: - • No instance for (Zork s (Z [Char]) b0) + • No instance for ‘Zork s (Z [Char]) b0’ arising from a use of ‘huh’ • In the expression: huh (s b) In an equation for ‘foo’: foo b = huh (s b) diff --git a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr index 78017f22ba..977c490b64 100644 --- a/testsuite/tests/typecheck/should_fail/ClassOperator.stderr +++ b/testsuite/tests/typecheck/should_fail/ClassOperator.stderr @@ -1,6 +1,6 @@ ClassOperator.hs:14:3: error: - • Could not deduce (a ><> b0) + • Could not deduce ‘a ><> b0’ from the context: a ><> b bound by the type signature for: (**>) :: forall a b. (a ><> b) => a -> a -> () @@ -13,7 +13,7 @@ ClassOperator.hs:14:3: error: In the class declaration for ‘><>’ ClassOperator.hs:14:3: error: - • Could not deduce (a ><> b0) + • Could not deduce ‘a ><> b0’ from the context: a ><> b bound by the type signature for: (**<) :: forall a b. (a ><> b) => a -> a -> () @@ -26,7 +26,7 @@ ClassOperator.hs:14:3: error: In the class declaration for ‘><>’ ClassOperator.hs:14:3: error: - • Could not deduce (a ><> b0) + • Could not deduce ‘a ><> b0’ from the context: a ><> b bound by the type signature for: (>**) :: forall a b. (a ><> b) => a -> a -> () @@ -39,7 +39,7 @@ ClassOperator.hs:14:3: error: In the class declaration for ‘><>’ ClassOperator.hs:14:3: error: - • Could not deduce (a ><> b0) + • Could not deduce ‘a ><> b0’ from the context: a ><> b bound by the type signature for: (<**) :: forall a b. (a ><> b) => a -> a -> () diff --git a/testsuite/tests/typecheck/should_fail/FunDepOrigin1b.stderr b/testsuite/tests/typecheck/should_fail/FunDepOrigin1b.stderr index a67bf17955..353bfac507 100644 --- a/testsuite/tests/typecheck/should_fail/FunDepOrigin1b.stderr +++ b/testsuite/tests/typecheck/should_fail/FunDepOrigin1b.stderr @@ -1,12 +1,12 @@ FunDepOrigin1b.hs:9:10: error: - • No instance for (C Bool (Maybe a0)) arising from a use of ‘op’ + • No instance for ‘C Bool (Maybe a0)’ arising from a use of ‘op’ • In the expression: op True Nothing In the expression: (op True Nothing, op False []) In an equation for ‘foo’: foo _ = (op True Nothing, op False []) FunDepOrigin1b.hs:9:27: error: - • No instance for (C Bool [a1]) arising from a use of ‘op’ + • No instance for ‘C Bool [a1]’ arising from a use of ‘op’ • In the expression: op False [] In the expression: (op True Nothing, op False []) In an equation for ‘foo’: foo _ = (op True Nothing, op False []) diff --git a/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr b/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr index 4d759155cc..1cf64abc22 100644 --- a/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr +++ b/testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr @@ -1,6 +1,6 @@ GivenForallLoop.hs:8:11: error: - • Could not deduce (a ~ b) + • Could not deduce ‘a ~ b’ from the context: a ~ (forall b1. F a b1) bound by the type signature for: loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b diff --git a/testsuite/tests/typecheck/should_fail/IPFail.stderr b/testsuite/tests/typecheck/should_fail/IPFail.stderr index 72c11b0c0d..9cf37c7c5f 100644 --- a/testsuite/tests/typecheck/should_fail/IPFail.stderr +++ b/testsuite/tests/typecheck/should_fail/IPFail.stderr @@ -1,6 +1,6 @@ IPFail.hs:6:18: error: - • Could not deduce (Num Bool) arising from the literal ‘5’ + • Could not deduce ‘Num Bool’ arising from the literal ‘5’ from the context: ?x::Int bound by the type signature for: f0 :: (?x::Int) => () -> Bool diff --git a/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr b/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr index f1eb2db530..3a2620d43a 100644 --- a/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr +++ b/testsuite/tests/typecheck/should_fail/LongWayOverlapping.stderr @@ -1,7 +1,7 @@ -LongWayOverlapping.hs:22:11: - No instance for (EmbAsChild [Char] Char) - arising from a use of ‘emb’ - In the expression: emb 'c' - In an equation for ‘emb’: emb _ = emb 'c' - In the instance declaration for ‘EmbAsChild [Char] Bool’ +LongWayOverlapping.hs:22:11: error: + • No instance for ‘EmbAsChild [Char] Char’ + arising from a use of ‘emb’ + • In the expression: emb 'c' + In an equation for ‘emb’: emb _ = emb 'c' + In the instance declaration for ‘EmbAsChild [Char] Bool’ diff --git a/testsuite/tests/typecheck/should_fail/SCLoop.stderr b/testsuite/tests/typecheck/should_fail/SCLoop.stderr index 90fe75cd3e..11960c2b6e 100644 --- a/testsuite/tests/typecheck/should_fail/SCLoop.stderr +++ b/testsuite/tests/typecheck/should_fail/SCLoop.stderr @@ -1,5 +1,5 @@ -SCLoop.hs:22:7: - No instance for (SC ()) arising from a use of ‘op’ - In the expression: op () ([Just True]) - In an equation for ‘foo’: foo = op () ([Just True]) +SCLoop.hs:22:7: error: + • No instance for ‘SC ()’ arising from a use of ‘op’ + • In the expression: op () ([Just True]) + In an equation for ‘foo’: foo = op () ([Just True]) diff --git a/testsuite/tests/typecheck/should_fail/T10285.stderr b/testsuite/tests/typecheck/should_fail/T10285.stderr index c259a8e3e2..647254a882 100644 --- a/testsuite/tests/typecheck/should_fail/T10285.stderr +++ b/testsuite/tests/typecheck/should_fail/T10285.stderr @@ -1,6 +1,6 @@ T10285.hs:8:17: error: - • Could not deduce (Coercible a b) arising from a use of ‘coerce’ + • Could not deduce ‘Coercible a b’ arising from a use of ‘coerce’ from the context: Coercible (N a) (N b) bound by a pattern with constructor: Coercion :: forall {k} (a :: k) (b :: k). diff --git a/testsuite/tests/typecheck/should_fail/T10534.stderr b/testsuite/tests/typecheck/should_fail/T10534.stderr index a8888ba5be..8dea57419d 100644 --- a/testsuite/tests/typecheck/should_fail/T10534.stderr +++ b/testsuite/tests/typecheck/should_fail/T10534.stderr @@ -1,6 +1,6 @@ T10534a.hs:10:9: error: - • Could not deduce (Coercible a b) arising from a use of ‘coerce’ + • Could not deduce ‘Coercible a b’ arising from a use of ‘coerce’ from the context: Coercible (DF a) (DF b) bound by the type signature for: silly :: forall a b. Coercible (DF a) (DF b) => a -> b diff --git a/testsuite/tests/typecheck/should_fail/T11274.stderr b/testsuite/tests/typecheck/should_fail/T11274.stderr index f73131704a..4bc2004ad5 100644 --- a/testsuite/tests/typecheck/should_fail/T11274.stderr +++ b/testsuite/tests/typecheck/should_fail/T11274.stderr @@ -1,5 +1,5 @@ T11274.hs:10:25: error: - • No instance for (Eq Asd) arising from a use of ‘==’ + • No instance for ‘Eq Asd’ arising from a use of ‘==’ • In the expression: x == y In an equation for ‘missingInstance’: missingInstance x y = x == y diff --git a/testsuite/tests/typecheck/should_fail/T11947a.stderr b/testsuite/tests/typecheck/should_fail/T11947a.stderr index c63c745e44..46a955f138 100644 --- a/testsuite/tests/typecheck/should_fail/T11947a.stderr +++ b/testsuite/tests/typecheck/should_fail/T11947a.stderr @@ -1,6 +1,6 @@ T11947a.hs:4:19: error: - • Could not deduce (RealFloat a0) + • Could not deduce ‘RealFloat a0’ from the context: RealFloat a bound by the type signature for: theFloatDigits :: forall a. RealFloat a => Int diff --git a/testsuite/tests/typecheck/should_fail/T11948.stderr b/testsuite/tests/typecheck/should_fail/T11948.stderr index 457ac2af4f..b618a586b1 100644 --- a/testsuite/tests/typecheck/should_fail/T11948.stderr +++ b/testsuite/tests/typecheck/should_fail/T11948.stderr @@ -1,6 +1,6 @@ T11948.hs:21:18: error: - • Could not deduce (Bar (F zq) zq) arising from a use of ‘bar’ + • Could not deduce ‘Bar (F zq) zq’ arising from a use of ‘bar’ from the context: Bar (Foo (F zq)) (Foo zq) bound by the type signature for: bug :: forall zq. Bar (Foo (F zq)) (Foo zq) => Foo (F zq) -> Foo zq diff --git a/testsuite/tests/typecheck/should_fail/T12151.stderr b/testsuite/tests/typecheck/should_fail/T12151.stderr index 8a4831c535..8360c68b9f 100644 --- a/testsuite/tests/typecheck/should_fail/T12151.stderr +++ b/testsuite/tests/typecheck/should_fail/T12151.stderr @@ -6,7 +6,7 @@ T12151.hs:9:13: error: In the class declaration for ‘Put’ T12151.hs:9:13: error: - • Could not deduce (Put a0) + • Could not deduce ‘Put a0’ from the context: Put a bound by the type signature for: put :: forall a t. Put a => t diff --git a/testsuite/tests/typecheck/should_fail/T12785b.stderr b/testsuite/tests/typecheck/should_fail/T12785b.stderr index cd2c75b2c1..f251d17ea8 100644 --- a/testsuite/tests/typecheck/should_fail/T12785b.stderr +++ b/testsuite/tests/typecheck/should_fail/T12785b.stderr @@ -1,6 +1,6 @@ T12785b.hs:30:65: error: - • Could not deduce (Payload ('S n) (Payload n s1) ~ s) + • Could not deduce ‘Payload ('S n) (Payload n s1) ~ s’ arising from a use of ‘SBranchX’ from the context: m ~ 'S n bound by a pattern with constructor: diff --git a/testsuite/tests/typecheck/should_fail/T12918b.stderr b/testsuite/tests/typecheck/should_fail/T12918b.stderr index 3492ca6415..bb53f774b5 100644 --- a/testsuite/tests/typecheck/should_fail/T12918b.stderr +++ b/testsuite/tests/typecheck/should_fail/T12918b.stderr @@ -14,7 +14,7 @@ T12918b.hs:12:11: error: In the class declaration for ‘Foo1’ T12918b.hs:12:11: error: - • Could not deduce (Foo1 a0) + • Could not deduce ‘Foo1 a0’ from the context: Foo1 a bound by the type signature for: bar2 :: forall a x. Foo1 a => x diff --git a/testsuite/tests/typecheck/should_fail/T15067.stderr b/testsuite/tests/typecheck/should_fail/T15067.stderr index a1000205c1..811f3a6602 100644 --- a/testsuite/tests/typecheck/should_fail/T15067.stderr +++ b/testsuite/tests/typecheck/should_fail/T15067.stderr @@ -1,6 +1,6 @@ T15067.hs:9:14: error: - • No instance for (Typeable (# | #)) + • No instance for ‘Typeable (# | #)’ arising from a use of ‘typeRep’ GHC can't yet do polykinded Typeable ((# | #) :: * diff --git a/testsuite/tests/typecheck/should_fail/T15361.stderr b/testsuite/tests/typecheck/should_fail/T15361.stderr index b4692064f3..d668994f3f 100644 --- a/testsuite/tests/typecheck/should_fail/T15361.stderr +++ b/testsuite/tests/typecheck/should_fail/T15361.stderr @@ -1,6 +1,6 @@ T15361.hs:13:13: error: - • Could not deduce (a ~ c) + • Could not deduce ‘a ~ c’ from the context: b ~ a bound by a pattern with constructor: HRefl :: forall {k1} (a :: k1). a :~~: a, @@ -22,7 +22,7 @@ T15361.hs:13:13: error: foo :: (a :~~: b) -> a :~~: c (bound at T15361.hs:13:1) T15361.hs:20:27: error: - • Could not deduce (Show a) arising from a use of ‘show’ + • Could not deduce ‘Show a’ arising from a use of ‘show’ from the context: Ord a bound by a pattern with constructor: IGetKnockedDown :: forall a. (Eq a, Ord a) => a -> Chumbawamba a, diff --git a/testsuite/tests/typecheck/should_fail/T15767.stderr b/testsuite/tests/typecheck/should_fail/T15767.stderr index 9724eca0da..7c9dc3329a 100644 --- a/testsuite/tests/typecheck/should_fail/T15767.stderr +++ b/testsuite/tests/typecheck/should_fail/T15767.stderr @@ -1,6 +1,6 @@ T15767.hs:7:5: error: - • No instance for (C () b0) arising from a use of ‘x’ + • No instance for ‘C () b0’ arising from a use of ‘x’ • In the expression: x In an equation for ‘y’: y = x diff --git a/testsuite/tests/typecheck/should_fail/T15883c.stderr b/testsuite/tests/typecheck/should_fail/T15883c.stderr index c55a688ed9..4f4b056386 100644 --- a/testsuite/tests/typecheck/should_fail/T15883c.stderr +++ b/testsuite/tests/typecheck/should_fail/T15883c.stderr @@ -1,6 +1,6 @@ T15883c.hs:14:1: error: - • No instance for (Eq (Foo LiftedRep)) + • No instance for ‘Eq (Foo LiftedRep)’ arising from the superclasses of an instance declaration • In the instance declaration for ‘Ord (Foo LiftedRep)’ diff --git a/testsuite/tests/typecheck/should_fail/T16627.stderr b/testsuite/tests/typecheck/should_fail/T16627.stderr index 108e99f44a..b10488f170 100644 --- a/testsuite/tests/typecheck/should_fail/T16627.stderr +++ b/testsuite/tests/typecheck/should_fail/T16627.stderr @@ -1,6 +1,6 @@ T16627.hs:11:15: error: - • No instance for (Typeable r1) arising from a use of ‘typeRep’ + • No instance for ‘Typeable r1’ arising from a use of ‘typeRep’ • In the first argument of ‘mkTrApp’, namely ‘typeRep’ In the first argument of ‘mkTrApp’, namely ‘typeRep `mkTrApp` a’ In the expression: typeRep `mkTrApp` a `mkTrApp` b diff --git a/testsuite/tests/typecheck/should_fail/T16646Fail.stderr b/testsuite/tests/typecheck/should_fail/T16646Fail.stderr index 4c597bed33..9455dac27a 100644 --- a/testsuite/tests/typecheck/should_fail/T16646Fail.stderr +++ b/testsuite/tests/typecheck/should_fail/T16646Fail.stderr @@ -1,6 +1,7 @@ T16646Fail.hs:16:5: error: - • No instance for (WithDict cls meth) arising from a use of ‘withDict’ + • No instance for ‘WithDict cls meth’ + arising from a use of ‘withDict’ Possible fix: add (WithDict cls meth) to the context of the type signature for: @@ -9,7 +10,7 @@ T16646Fail.hs:16:5: error: In an equation for ‘f’: f = withDict @cls @meth T16646Fail.hs:22:5: error: - • No instance for (WithDict (C a) (Maybe a)) + • No instance for ‘WithDict (C a) (Maybe a)’ arising from a use of ‘withDict’ • In the expression: withDict @(C a) @(Maybe a) In an equation for ‘g’: g = withDict @(C a) @(Maybe a) diff --git a/testsuite/tests/typecheck/should_fail/T18398.stderr b/testsuite/tests/typecheck/should_fail/T18398.stderr index 00a1f14804..a7b8e256c1 100644 --- a/testsuite/tests/typecheck/should_fail/T18398.stderr +++ b/testsuite/tests/typecheck/should_fail/T18398.stderr @@ -1,12 +1,12 @@ T18398.hs:13:34: error: - • No instance for (C Ex p0) arising from a use of ‘meth’ + • No instance for ‘C Ex p0’ arising from a use of ‘meth’ • In the expression: meth x y In a case alternative: MkEx _ -> meth x y In the expression: case x of MkEx _ -> meth x y T18398.hs:13:70: error: - • No instance for (C Ex p0) arising from a use of ‘meth’ + • No instance for ‘C Ex p0’ arising from a use of ‘meth’ • In the expression: meth x z In a case alternative: MkEx _ -> meth x z In the expression: case x of MkEx _ -> meth x z diff --git a/testsuite/tests/typecheck/should_fail/T18406.stderr b/testsuite/tests/typecheck/should_fail/T18406.stderr index aa786df13e..1e95326887 100644 --- a/testsuite/tests/typecheck/should_fail/T18406.stderr +++ b/testsuite/tests/typecheck/should_fail/T18406.stderr @@ -1,5 +1,5 @@ T18406.hs:8:7: error: - • No instance for (C Bool b0) arising from a use of ‘op’ + • No instance for ‘C Bool b0’ arising from a use of ‘op’ • In the expression: op True x In an equation for ‘f’: f x = op True x diff --git a/testsuite/tests/typecheck/should_fail/T18851c.stderr b/testsuite/tests/typecheck/should_fail/T18851c.stderr index 4360fb16d2..4e44759e53 100644 --- a/testsuite/tests/typecheck/should_fail/T18851c.stderr +++ b/testsuite/tests/typecheck/should_fail/T18851c.stderr @@ -1,6 +1,6 @@ T18851c.hs:25:27: error: - • Could not deduce (n2 ~ n1) + • Could not deduce ‘n2 ~ n1’ arising from reasoning about an injective type family using constraints: ‘Plus1 n2 ~ n’ arising from a type equality diff --git a/testsuite/tests/typecheck/should_fail/T1897a.stderr b/testsuite/tests/typecheck/should_fail/T1897a.stderr index 2be4c938bb..416fcd93f0 100644 --- a/testsuite/tests/typecheck/should_fail/T1897a.stderr +++ b/testsuite/tests/typecheck/should_fail/T1897a.stderr @@ -1,6 +1,6 @@ T1897a.hs:9:1: error: - • Could not deduce (Wob a0 b) + • Could not deduce ‘Wob a0 b’ from the context: Wob a b bound by the inferred type for ‘foo’: forall {a} {b}. Wob a b => b -> [b] diff --git a/testsuite/tests/typecheck/should_fail/T19977a.stderr b/testsuite/tests/typecheck/should_fail/T19977a.stderr index 296a8c90a6..3bce358d49 100644 --- a/testsuite/tests/typecheck/should_fail/T19977a.stderr +++ b/testsuite/tests/typecheck/should_fail/T19977a.stderr @@ -1,6 +1,6 @@ T19977a.hs:11:7: error: - • Could not deduce (Show a) arising from a use of ‘f’ + • Could not deduce ‘Show a’ arising from a use of ‘f’ from the context: Show [a] bound by the type signature for: g :: forall a. Show [a] => a -> String diff --git a/testsuite/tests/typecheck/should_fail/T19977b.stderr b/testsuite/tests/typecheck/should_fail/T19977b.stderr index 988dc5faf6..d773791a2d 100644 --- a/testsuite/tests/typecheck/should_fail/T19977b.stderr +++ b/testsuite/tests/typecheck/should_fail/T19977b.stderr @@ -1,6 +1,6 @@ T19977b.hs:21:5: error: - • Could not deduce (C a) arising from a use of ‘h’ + • Could not deduce ‘C a’ arising from a use of ‘h’ from the context: D a bound by the type signature for: g :: forall a. D a => a diff --git a/testsuite/tests/typecheck/should_fail/T20064.stderr b/testsuite/tests/typecheck/should_fail/T20064.stderr index eb63a9a283..1f743bb075 100644 --- a/testsuite/tests/typecheck/should_fail/T20064.stderr +++ b/testsuite/tests/typecheck/should_fail/T20064.stderr @@ -1,5 +1,5 @@ T20064.hs:14:7: error: - • No instance for (C Int b0) arising from a use of ‘meth’ + • No instance for ‘C Int b0’ arising from a use of ‘meth’ • In the expression: meth ab In an equation for ‘foo’: foo = meth ab diff --git a/testsuite/tests/typecheck/should_fail/T3323.stderr b/testsuite/tests/typecheck/should_fail/T3323.stderr index 1e77e05318..9d55fcd7fd 100644 --- a/testsuite/tests/typecheck/should_fail/T3323.stderr +++ b/testsuite/tests/typecheck/should_fail/T3323.stderr @@ -1,14 +1,14 @@ T3323.hs:18:7: error: - • Could not deduce (GHC.IO.Device.RawIO dev0) + • 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.16.0.0:Data.Typeable.Internal.Typeable dev) + base-4.17.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.16.0.0:Data.Typeable.Internal.Typeable dev) => + base-4.17.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/T5300.stderr b/testsuite/tests/typecheck/should_fail/T5300.stderr index 06d870dff3..a64f5fd090 100644 --- a/testsuite/tests/typecheck/should_fail/T5300.stderr +++ b/testsuite/tests/typecheck/should_fail/T5300.stderr @@ -1,6 +1,6 @@ T5300.hs:12:7: error: - • Could not deduce (C1 a b c0) + • Could not deduce ‘C1 a b c0’ from the context: (Monad m, C1 a b c) bound by the type signature for: f1 :: forall (m :: * -> *) a b c. @@ -14,7 +14,7 @@ T5300.hs:12:7: error: f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a T5300.hs:15:7: error: - • Could not deduce (C1 a1 b1 c10) + • Could not deduce ‘C1 a1 b1 c10’ from the context: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) bound by the type signature for: f2 :: forall (m :: * -> *) a1 b1 c1 a2 b2 c2. diff --git a/testsuite/tests/typecheck/should_fail/T5684.stderr b/testsuite/tests/typecheck/should_fail/T5684.stderr index 854cd8b498..256040f26b 100644 --- a/testsuite/tests/typecheck/should_fail/T5684.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684.stderr @@ -1,6 +1,6 @@ T5684.hs:20:12: error: - • No instance for (A Bool) arising from a use of ‘op’ + • No instance for ‘A Bool’ arising from a use of ‘op’ • In the expression: op False False In the expression: [op False False, op 'c' undefined, op True undefined] @@ -8,7 +8,7 @@ T5684.hs:20:12: error: flop1 = [op False False, op 'c' undefined, op True undefined] T5684.hs:24:12: error: - • No instance for (B Char b0) arising from a use of ‘op’ + • No instance for ‘B Char b0’ arising from a use of ‘op’ • In the expression: op 'c' undefined In the expression: [op False False, op 'c' undefined, op True undefined] diff --git a/testsuite/tests/typecheck/should_fail/T5684b.stderr b/testsuite/tests/typecheck/should_fail/T5684b.stderr index 68c6e38b5f..9808afe97c 100644 --- a/testsuite/tests/typecheck/should_fail/T5684b.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684b.stderr @@ -1,6 +1,6 @@ T5684b.hs:12:12: error: - • No instance for (A Bool) arising from a use of ‘op’ + • No instance for ‘A Bool’ arising from a use of ‘op’ • In the expression: op False False In the expression: [op False False, op True undefined, op 'c' undefined] @@ -8,7 +8,7 @@ T5684b.hs:12:12: error: flop2 = [op False False, op True undefined, op 'c' undefined] T5684b.hs:14:12: error: - • No instance for (B Char b0) arising from a use of ‘op’ + • No instance for ‘B Char b0’ arising from a use of ‘op’ • In the expression: op 'c' undefined In the expression: [op False False, op True undefined, op 'c' undefined] diff --git a/testsuite/tests/typecheck/should_fail/T5684c.stderr b/testsuite/tests/typecheck/should_fail/T5684c.stderr index 69577811c4..af57d1b7c1 100644 --- a/testsuite/tests/typecheck/should_fail/T5684c.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684c.stderr @@ -1,6 +1,6 @@ T5684c.hs:12:12: error: - • No instance for (B Char b0) arising from a use of ‘op’ + • No instance for ‘B Char b0’ arising from a use of ‘op’ • In the expression: op 'c' undefined In the expression: [op 'c' undefined, op True undefined, op False False] @@ -8,7 +8,7 @@ T5684c.hs:12:12: error: flop3 = [op 'c' undefined, op True undefined, op False False] T5684c.hs:13:12: error: - • No instance for (A Bool) arising from a use of ‘op’ + • No instance for ‘A Bool’ arising from a use of ‘op’ • In the expression: op True undefined In the expression: [op 'c' undefined, op True undefined, op False False] diff --git a/testsuite/tests/typecheck/should_fail/T5684d.stderr b/testsuite/tests/typecheck/should_fail/T5684d.stderr index eeec8c071b..ea5cd031ef 100644 --- a/testsuite/tests/typecheck/should_fail/T5684d.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684d.stderr @@ -1,6 +1,6 @@ T5684d.hs:12:12: error: - • No instance for (B Char b0) arising from a use of ‘op’ + • No instance for ‘B Char b0’ arising from a use of ‘op’ • In the expression: op 'c' undefined In the expression: [op 'c' undefined, op False False, op True undefined] @@ -8,7 +8,7 @@ T5684d.hs:12:12: error: flop4 = [op 'c' undefined, op False False, op True undefined] T5684d.hs:13:12: error: - • No instance for (A Bool) arising from a use of ‘op’ + • No instance for ‘A Bool’ arising from a use of ‘op’ • In the expression: op False False In the expression: [op 'c' undefined, op False False, op True undefined] diff --git a/testsuite/tests/typecheck/should_fail/T5684e.stderr b/testsuite/tests/typecheck/should_fail/T5684e.stderr index 388f69720d..d81fcc8881 100644 --- a/testsuite/tests/typecheck/should_fail/T5684e.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684e.stderr @@ -1,6 +1,6 @@ T5684e.hs:12:12: error: - • No instance for (A Bool) arising from a use of ‘op’ + • No instance for ‘A Bool’ arising from a use of ‘op’ • In the expression: op True undefined In the expression: [op True undefined, op 'c' undefined, op False False] @@ -8,7 +8,7 @@ T5684e.hs:12:12: error: flop5 = [op True undefined, op 'c' undefined, op False False] T5684e.hs:13:12: error: - • No instance for (B Char b0) arising from a use of ‘op’ + • No instance for ‘B Char b0’ arising from a use of ‘op’ • In the expression: op 'c' undefined In the expression: [op True undefined, op 'c' undefined, op False False] diff --git a/testsuite/tests/typecheck/should_fail/T5684f.stderr b/testsuite/tests/typecheck/should_fail/T5684f.stderr index e0b19c6a2b..a5f2c886d3 100644 --- a/testsuite/tests/typecheck/should_fail/T5684f.stderr +++ b/testsuite/tests/typecheck/should_fail/T5684f.stderr @@ -1,6 +1,6 @@ T5684f.hs:12:12: error: - • No instance for (A Bool) arising from a use of ‘op’ + • No instance for ‘A Bool’ arising from a use of ‘op’ • In the expression: op True undefined In the expression: [op True undefined, op False False, op 'c' undefined] @@ -8,7 +8,7 @@ T5684f.hs:12:12: error: flop6 = [op True undefined, op False False, op 'c' undefined] T5684f.hs:14:12: error: - • No instance for (B Char b0) arising from a use of ‘op’ + • No instance for ‘B Char b0’ arising from a use of ‘op’ • In the expression: op 'c' undefined In the expression: [op True undefined, op False False, op 'c' undefined] diff --git a/testsuite/tests/typecheck/should_fail/T5689.stderr b/testsuite/tests/typecheck/should_fail/T5689.stderr index 5385f578b1..3c25fee2db 100644 --- a/testsuite/tests/typecheck/should_fail/T5689.stderr +++ b/testsuite/tests/typecheck/should_fail/T5689.stderr @@ -1,6 +1,6 @@ T5689.hs:15:23: error: - • No instance for (Num Bool) arising from the literal ‘1234’ + • No instance for ‘Num Bool’ arising from the literal ‘1234’ • In the first argument of ‘c’, namely ‘1234’ In the second argument of ‘($)’, namely ‘c 1234’ In a stmt of a 'do' block: print $ c 1234 diff --git a/testsuite/tests/typecheck/should_fail/T5691.stderr b/testsuite/tests/typecheck/should_fail/T5691.stderr index d06a4f43a8..45c54720cf 100644 --- a/testsuite/tests/typecheck/should_fail/T5691.stderr +++ b/testsuite/tests/typecheck/should_fail/T5691.stderr @@ -1,10 +1,10 @@ T5691.hs:24:10: error: - • No instance for (Alternative RecDecParser) + • No instance for ‘Alternative RecDecParser’ arising from the superclasses of an instance declaration • In the instance declaration for ‘MonadPlus RecDecParser’ T5691.hs:24:10: error: - • No instance for (Monad RecDecParser) + • No instance for ‘Monad RecDecParser’ arising from the superclasses of an instance declaration • In the instance declaration for ‘MonadPlus RecDecParser’ diff --git a/testsuite/tests/typecheck/should_fail/T5853.stderr b/testsuite/tests/typecheck/should_fail/T5853.stderr index e35f71b28e..564f58ad62 100644 --- a/testsuite/tests/typecheck/should_fail/T5853.stderr +++ b/testsuite/tests/typecheck/should_fail/T5853.stderr @@ -1,6 +1,6 @@ T5853.hs:15:52: error: - • Could not deduce (Subst fa2 (Elem fb) ~ fb) + • Could not deduce ‘Subst fa2 (Elem fb) ~ fb’ arising from a use of ‘<$>’ from the context: (F fa1, Elem fb ~ Elem fb, Subst fa1 (Elem fb) ~ fb, Subst fb (Elem fa1) ~ fa1, F fa2, diff --git a/testsuite/tests/typecheck/should_fail/T6161.stderr b/testsuite/tests/typecheck/should_fail/T6161.stderr index 1293880281..5b33bd9e94 100644 --- a/testsuite/tests/typecheck/should_fail/T6161.stderr +++ b/testsuite/tests/typecheck/should_fail/T6161.stderr @@ -1,7 +1,7 @@ -T6161.hs:19:10: - Could not deduce (Super (Fam a)) - arising from the superclasses of an instance declaration - from the context: Foo a - bound by the instance declaration at T6161.hs:19:10-31 - In the instance declaration for ‘Duper (Fam a)’ +T6161.hs:19:10: error: + • Could not deduce ‘Super (Fam a)’ + arising from the superclasses of an instance declaration + from the context: Foo a + bound by the instance declaration at T6161.hs:19:10-31 + • In the instance declaration for ‘Duper (Fam a)’ diff --git a/testsuite/tests/typecheck/should_fail/T7279.stderr b/testsuite/tests/typecheck/should_fail/T7279.stderr index 985d23804d..7077183081 100644 --- a/testsuite/tests/typecheck/should_fail/T7279.stderr +++ b/testsuite/tests/typecheck/should_fail/T7279.stderr @@ -1,6 +1,6 @@ T7279.hs:6:10: error: - • Could not deduce (Show b0) + • Could not deduce ‘Show b0’ from the context: (Eq a, Show b) bound by an instance declaration: forall a b. (Eq a, Show b) => Eq (T a) diff --git a/testsuite/tests/typecheck/should_fail/T7437.stderr b/testsuite/tests/typecheck/should_fail/T7437.stderr index 9b75781411..05deecb7a0 100644 --- a/testsuite/tests/typecheck/should_fail/T7437.stderr +++ b/testsuite/tests/typecheck/should_fail/T7437.stderr @@ -8,7 +8,7 @@ T7437.hs:14:13: error: In the class declaration for ‘Put’ T7437.hs:14:13: error: - • Could not deduce (Put a0) + • Could not deduce ‘Put a0’ from the context: (Put a, Generic t, GPut (Rep t)) bound by the type signature for: put :: forall a t. (Put a, Generic t, GPut (Rep t)) => t -> [()] diff --git a/testsuite/tests/typecheck/should_fail/T7525.stderr b/testsuite/tests/typecheck/should_fail/T7525.stderr index 86fc55e198..eca5c1d2cc 100644 --- a/testsuite/tests/typecheck/should_fail/T7525.stderr +++ b/testsuite/tests/typecheck/should_fail/T7525.stderr @@ -1,6 +1,6 @@ T7525.hs:5:30: error: - • Could not deduce (?b::Bool) + • Could not deduce ‘?b::Bool’ arising from a use of implicit parameter ‘?b’ from the context: ?a::Bool bound by the implicit-parameter binding for ?a at T7525.hs:5:7-31 diff --git a/testsuite/tests/typecheck/should_fail/T7857.stderr b/testsuite/tests/typecheck/should_fail/T7857.stderr index 44bdc1a7da..fa5f4f0c1b 100644 --- a/testsuite/tests/typecheck/should_fail/T7857.stderr +++ b/testsuite/tests/typecheck/should_fail/T7857.stderr @@ -1,6 +1,6 @@ T7857.hs:8:11: error: - • Could not deduce (PrintfType a0) arising from a use of ‘printf’ + • Could not deduce ‘PrintfType a0’ arising from a use of ‘printf’ from the context: PrintfArg t bound by the inferred type of g :: PrintfArg t => t -> b at T7857.hs:8:1-21 diff --git a/testsuite/tests/typecheck/should_fail/T9109.stderr b/testsuite/tests/typecheck/should_fail/T9109.stderr index 223be12e8b..f8224176bd 100644 --- a/testsuite/tests/typecheck/should_fail/T9109.stderr +++ b/testsuite/tests/typecheck/should_fail/T9109.stderr @@ -1,6 +1,6 @@ T9109.hs:8:13: error: - • Could not deduce (p ~ Bool) + • Could not deduce ‘p ~ Bool’ from the context: a ~ Bool bound by a pattern with constructor: GBool :: G Bool, in an equation for ‘foo’ diff --git a/testsuite/tests/typecheck/should_fail/T9858b.stderr b/testsuite/tests/typecheck/should_fail/T9858b.stderr index 656ff53c95..8bb597a547 100644 --- a/testsuite/tests/typecheck/should_fail/T9858b.stderr +++ b/testsuite/tests/typecheck/should_fail/T9858b.stderr @@ -1,8 +1,8 @@ T9858b.hs:7:8: error: - No instance for (Typeable (Eq Int => Int)) - arising from a use of ‘typeRep’ - (maybe you haven't applied a function to enough arguments?) - In the expression: typeRep (Proxy :: Proxy (Eq Int => Int)) - In an equation for ‘test’: - test = typeRep (Proxy :: Proxy (Eq Int => Int)) + • No instance for ‘Typeable (Eq Int => Int)’ + arising from a use of ‘typeRep’ + (maybe you haven't applied a function to enough arguments?) + • In the expression: typeRep (Proxy :: Proxy (Eq Int => Int)) + In an equation for ‘test’: + test = typeRep (Proxy :: Proxy (Eq Int => Int)) diff --git a/testsuite/tests/typecheck/should_fail/T9999.stderr b/testsuite/tests/typecheck/should_fail/T9999.stderr index 934da44f38..d45960a589 100644 --- a/testsuite/tests/typecheck/should_fail/T9999.stderr +++ b/testsuite/tests/typecheck/should_fail/T9999.stderr @@ -1,6 +1,6 @@ T9999.hs:13:38: error: - • No instance for (Typeable k0) arising from a use of ‘typeRep’ + • No instance for ‘Typeable k0’ arising from a use of ‘typeRep’ • In the second argument of ‘(==)’, namely ‘typeRep (Proxy :: Proxy F1)’ In the expression: diff --git a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr index ef6e0def11..f8681ed8ba 100644 --- a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr +++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr @@ -1,14 +1,14 @@ TcStaticPointersFail02.hs:9:6: error: - • No instance for (base-4.13.0.0:Data.Typeable.Internal.Typeable b) + • No instance for ‘base-4.17.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: - • No instance for (base-4.13.0.0:Data.Typeable.Internal.Typeable - (Monad m => a -> m a)) + • No instance for ‘base-4.17.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?) • In the expression: static return diff --git a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail03.stderr b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail03.stderr index 03a01df842..e3dc731da9 100644 --- a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail03.stderr +++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail03.stderr @@ -1,6 +1,6 @@ -TcStaticPointersFail03.hs:9:29: - No instance for (Monad m) arising from a use of ‘return’ - In the body of a static form: return - In the first argument of ‘deRefStaticPtr’, namely ‘(static return)’ - In the expression: deRefStaticPtr (static return) +TcStaticPointersFail03.hs:9:29: error: + • No instance for ‘Monad m’ arising from a use of ‘return’ + • In the body of a static form: return + In the first argument of ‘deRefStaticPtr’, namely ‘(static return)’ + In the expression: deRefStaticPtr (static return) diff --git a/testsuite/tests/typecheck/should_fail/mc20.stderr b/testsuite/tests/typecheck/should_fail/mc20.stderr index 798160fbf7..6627618041 100644 --- a/testsuite/tests/typecheck/should_fail/mc20.stderr +++ b/testsuite/tests/typecheck/should_fail/mc20.stderr @@ -1,7 +1,8 @@ -mc20.hs:14:31: - No instance for (Ord Unorderable) arising from a use of ‘groupWith’ - In the expression: groupWith - In a stmt of a monad comprehension: then group by x using groupWith - In the expression: - [() | x <- [Gnorf, Brain], then group by x using groupWith] +mc20.hs:14:31: error: + • No instance for ‘Ord Unorderable’ + arising from a use of ‘groupWith’ + • In the expression: groupWith + In a stmt of a monad comprehension: then group by x using groupWith + In the expression: + [() | x <- [Gnorf, Brain], then group by x using groupWith] diff --git a/testsuite/tests/typecheck/should_fail/tc168.stderr b/testsuite/tests/typecheck/should_fail/tc168.stderr index 082cf3d96d..457001c919 100644 --- a/testsuite/tests/typecheck/should_fail/tc168.stderr +++ b/testsuite/tests/typecheck/should_fail/tc168.stderr @@ -1,6 +1,6 @@ tc168.hs:17:1: error: - • Could not deduce (C a1 (a2, b0)) + • Could not deduce ‘C a1 (a2, b0)’ from the context: C a1 (a2, b) bound by the inferred type for ‘g’: forall {a1} {a2} {b}. C a1 (a2, b) => a1 -> a2 diff --git a/testsuite/tests/typecheck/should_fail/tc168b.stderr b/testsuite/tests/typecheck/should_fail/tc168b.stderr index 6b9619ec36..a82f0282d4 100644 --- a/testsuite/tests/typecheck/should_fail/tc168b.stderr +++ b/testsuite/tests/typecheck/should_fail/tc168b.stderr @@ -1,6 +1,6 @@ tc168b.hs:7:1: error: - • Could not deduce (C a (u, v0, w0, x0, y0, z0)) + • Could not deduce ‘C a (u, v0, w0, x0, y0, z0)’ from the context: C a (u, v, w, x, y, z) bound by the inferred type for ‘g’: forall {a} {u} {v} {w} {x} {y} {z}. diff --git a/testsuite/tests/typecheck/should_fail/tcfail003.stderr b/testsuite/tests/typecheck/should_fail/tcfail003.stderr index 54490cd22d..acac9e84d0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail003.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail003.stderr @@ -1,6 +1,6 @@ -tcfail003.hs:3:10: - No instance for (Num Char) arising from the literal ‘1’ - In the expression: 1 - In the expression: [1, 'a'] - In a pattern binding: (d : e) = [1, 'a'] +tcfail003.hs:3:10: error: + • No instance for ‘Num Char’ arising from the literal ‘1’ + • In the expression: 1 + In the expression: [1, 'a'] + In a pattern binding: (d : e) = [1, 'a'] diff --git a/testsuite/tests/typecheck/should_fail/tcfail006.stderr b/testsuite/tests/typecheck/should_fail/tcfail006.stderr index 7bfaf2d9a6..f9cde685e7 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail006.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail006.stderr @@ -1,6 +1,6 @@ -tcfail006.hs:4:24: - No instance for (Num Bool) arising from the literal ‘1’ - In the expression: 1 - In the expression: (True, 1) - In a case alternative: True -> (True, 1) +tcfail006.hs:4:24: error: + • No instance for ‘Num Bool’ arising from the literal ‘1’ + • In the expression: 1 + In the expression: (True, 1) + In a case alternative: True -> (True, 1) diff --git a/testsuite/tests/typecheck/should_fail/tcfail007.stderr b/testsuite/tests/typecheck/should_fail/tcfail007.stderr index 02d25c16e3..7ca43451bc 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail007.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail007.stderr @@ -1,6 +1,6 @@ tcfail007.hs:3:15: error: - • No instance for (Num Bool) arising from a use of ‘+’ + • No instance for ‘Num Bool’ arising from a use of ‘+’ • In the expression: x + 1 In an equation for ‘n’: n x diff --git a/testsuite/tests/typecheck/should_fail/tcfail008.stderr b/testsuite/tests/typecheck/should_fail/tcfail008.stderr index ba3afc1b67..a19c6bb151 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail008.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail008.stderr @@ -15,7 +15,7 @@ tcfail008.hs:3:5: error: In an equation for ‘o’: o = 1 : 2 tcfail008.hs:3:7: error: - • No instance for (Num [a0]) arising from the literal ‘2’ + • No instance for ‘Num [a0]’ arising from the literal ‘2’ • In the second argument of ‘(:)’, namely ‘2’ In the expression: 1 : 2 In an equation for ‘o’: o = 1 : 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail010.stderr b/testsuite/tests/typecheck/should_fail/tcfail010.stderr index 442a1d43a7..d49818d46d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail010.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail010.stderr @@ -1,6 +1,6 @@ tcfail010.hs:3:17: error: - • No instance for (Num [a0]) arising from a use of ‘+’ + • No instance for ‘Num [a0]’ arising from a use of ‘+’ • In the expression: z + 2 In the expression: \ (y : z) -> z + 2 In an equation for ‘q’: q = \ (y : z) -> z + 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail015.stderr b/testsuite/tests/typecheck/should_fail/tcfail015.stderr index c8332e1b32..b1ef0773d5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail015.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail015.stderr @@ -1,5 +1,5 @@ -tcfail015.hs:7:13: - No instance for (Num Bool) arising from the literal ‘2’ - In the expression: 2 - In an equation for ‘g’: g (ANull) = 2 +tcfail015.hs:7:13: error: + • No instance for ‘Num Bool’ arising from the literal ‘2’ + • In the expression: 2 + In an equation for ‘g’: g (ANull) = 2 diff --git a/testsuite/tests/typecheck/should_fail/tcfail017.stderr b/testsuite/tests/typecheck/should_fail/tcfail017.stderr index f09fc92eba..ac1487330d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail017.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail017.stderr @@ -1,7 +1,7 @@ -tcfail017.hs:10:10: - Could not deduce (C [a]) - arising from the superclasses of an instance declaration - from the context: B a - bound by the instance declaration at tcfail017.hs:10:10-23 - In the instance declaration for ‘B [a]’ +tcfail017.hs:10:10: error: + • Could not deduce ‘C [a]’ + arising from the superclasses of an instance declaration + from the context: B a + bound by the instance declaration at tcfail017.hs:10:10-23 + • In the instance declaration for ‘B [a]’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail018.stderr b/testsuite/tests/typecheck/should_fail/tcfail018.stderr index d5594c7c41..0bfa00a5ea 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail018.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail018.stderr @@ -1,5 +1,5 @@ tcfail018.hs:5:10: error: - • No instance for (Num [a0]) arising from the literal ‘1’ + • No instance for ‘Num [a0]’ arising from the literal ‘1’ • In the expression: 1 In a pattern binding: (a : []) = 1 diff --git a/testsuite/tests/typecheck/should_fail/tcfail019.stderr b/testsuite/tests/typecheck/should_fail/tcfail019.stderr index 6839c7b53d..5cedc7071b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail019.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail019.stderr @@ -1,10 +1,10 @@ tcfail019.hs:18:10: error: - • No instance for (B [a]) + • No instance for ‘B [a]’ arising from the superclasses of an instance declaration • In the instance declaration for ‘D [a]’ tcfail019.hs:18:10: error: - • No instance for (C [a]) + • No instance for ‘C [a]’ arising from the superclasses of an instance declaration • In the instance declaration for ‘D [a]’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail020.stderr b/testsuite/tests/typecheck/should_fail/tcfail020.stderr index d4163b1eaa..6c476de65a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail020.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail020.stderr @@ -1,7 +1,7 @@ -tcfail020.hs:10:10: - Could not deduce (A [a]) - arising from the superclasses of an instance declaration - from the context: A a - bound by the instance declaration at tcfail020.hs:10:10-23 - In the instance declaration for ‘B [a]’ +tcfail020.hs:10:10: error: + • Could not deduce ‘A [a]’ + arising from the superclasses of an instance declaration + from the context: A a + bound by the instance declaration at tcfail020.hs:10:10-23 + • In the instance declaration for ‘B [a]’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail029.stderr b/testsuite/tests/typecheck/should_fail/tcfail029.stderr index 02adf4235d..cd7488d155 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail029.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail029.stderr @@ -1,5 +1,5 @@ tcfail029.hs:6:9: error: - • No instance for (Ord Foo) arising from a use of ‘>’ + • No instance for ‘Ord Foo’ arising from a use of ‘>’ • In the expression: x > Bar In an equation for ‘f’: f x = x > Bar diff --git a/testsuite/tests/typecheck/should_fail/tcfail034.stderr b/testsuite/tests/typecheck/should_fail/tcfail034.stderr index 02e3bfc5f1..eea48c9dba 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail034.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail034.stderr @@ -1,6 +1,6 @@ tcfail034.hs:17:13: error: - • Could not deduce (Integral a) arising from a use of ‘mod’ + • Could not deduce ‘Integral a’ arising from a use of ‘mod’ from the context: (Num a, Eq a) bound by the type signature for: test :: forall a. (Num a, Eq a) => a -> Bool diff --git a/testsuite/tests/typecheck/should_fail/tcfail042.stderr b/testsuite/tests/typecheck/should_fail/tcfail042.stderr index 8180853c88..d6a9fec2c5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail042.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail042.stderr @@ -1,24 +1,24 @@ -tcfail042.hs:15:10: - Could not deduce (Num a) - arising from the superclasses of an instance declaration - from the context: (Eq a, Show a) - bound by the instance declaration at tcfail042.hs:15:10-34 - Possible fix: - add (Num a) to the context of the instance declaration - In the instance declaration for ‘Bar [a]’ +tcfail042.hs:15:10: error: + • Could not deduce ‘Num a’ + arising from the superclasses of an instance declaration + from the context: (Eq a, Show a) + bound by the instance declaration at tcfail042.hs:15:10-34 + Possible fix: + add (Num a) to the context of the instance declaration + • In the instance declaration for ‘Bar [a]’ -tcfail042.hs:17:18: - Could not deduce (Num a) arising from a use of ‘foo’ - from the context: (Eq a, Show a) - bound by the instance declaration at tcfail042.hs:15:10-34 - Possible fix: - add (Num a) to the context of the instance declaration - In the expression: foo xs - In an equation for ‘bar’: - bar (x : xs) - = foo xs - where - u = x == x - v = show x - In the instance declaration for ‘Bar [a]’ +tcfail042.hs:17:18: error: + • Could not deduce ‘Num a’ arising from a use of ‘foo’ + from the context: (Eq a, Show a) + bound by the instance declaration at tcfail042.hs:15:10-34 + Possible fix: + add (Num a) to the context of the instance declaration + • In the expression: foo xs + In an equation for ‘bar’: + bar (x : xs) + = foo xs + where + u = x == x + v = show x + In the instance declaration for ‘Bar [a]’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail046.stderr b/testsuite/tests/typecheck/should_fail/tcfail046.stderr index 6ee553f689..18de100ac6 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail046.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail046.stderr @@ -1,6 +1,6 @@ tcfail046.hs:10:50: error: - • No instance for (Eq (Process a)) + • No instance for ‘Eq (Process a)’ arising from the first field of ‘Do’ (type ‘Process a’) (maybe you haven't applied a function to enough arguments?) Possible fix: @@ -9,7 +9,7 @@ tcfail046.hs:10:50: error: • When deriving the instance for (Eq (Continuation a)) tcfail046.hs:22:25: error: - • Could not deduce (Eq (Process a)) + • Could not deduce ‘Eq (Process a)’ arising from the first field of ‘Create’ (type ‘Process a’) from the context: Eq a bound by the deriving clause for ‘Eq (Message a)’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail067.stderr b/testsuite/tests/typecheck/should_fail/tcfail067.stderr index 8967f9fdb2..cd8d049fb0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail067.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail067.stderr @@ -3,7 +3,7 @@ tcfail067.hs:1:14: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. tcfail067.hs:12:16: error: - • No instance for (Ord a) arising from a use of ‘SubRange’ + • No instance for ‘Ord a’ arising from a use of ‘SubRange’ Possible fix: add (Ord a) to the context of the type signature for: @@ -13,7 +13,7 @@ tcfail067.hs:12:16: error: subRangeValue (SubRange (lower, upper) value) = value tcfail067.hs:15:11: error: - • No instance for (Ord a) arising from a use of ‘SubRange’ + • No instance for ‘Ord a’ arising from a use of ‘SubRange’ Possible fix: add (Ord a) to the context of the type signature for: @@ -22,7 +22,7 @@ tcfail067.hs:15:11: error: In an equation for ‘subRange’: subRange (SubRange r value) = r tcfail067.hs:46:12: error: - • Could not deduce (Ord a) arising from a use of ‘SubRange’ + • Could not deduce ‘Ord a’ arising from a use of ‘SubRange’ from the context: Show a bound by the type signature for: showRange :: forall a. Show a => SubRange a -> String @@ -37,7 +37,7 @@ tcfail067.hs:46:12: error: = show value ++ " :" ++ show lower ++ ".." ++ show upper tcfail067.hs:61:12: error: - • Could not deduce (Ord a) + • Could not deduce ‘Ord a’ arising from a use of ‘numSubRangeNegate’ from the context: Num a bound by the instance declaration at tcfail067.hs:60:10-34 @@ -48,7 +48,7 @@ tcfail067.hs:61:12: error: In the instance declaration for ‘Num (SubRange a)’ tcfail067.hs:65:19: error: - • Could not deduce (Ord a) arising from a use of ‘SubRange’ + • Could not deduce ‘Ord a’ arising from a use of ‘SubRange’ from the context: Num a bound by the instance declaration at tcfail067.hs:60:10-34 Possible fix: @@ -61,7 +61,7 @@ tcfail067.hs:65:19: error: In the instance declaration for ‘Num (SubRange a)’ tcfail067.hs:74:5: error: - • Could not deduce (Ord a) arising from a use of ‘SubRange’ + • Could not deduce ‘Ord a’ arising from a use of ‘SubRange’ from the context: Num a bound by the type signature for: numSubRangeBinOp :: forall a. diff --git a/testsuite/tests/typecheck/should_fail/tcfail072.stderr b/testsuite/tests/typecheck/should_fail/tcfail072.stderr index 3c544083e8..3310aeb4e9 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail072.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail072.stderr @@ -1,6 +1,6 @@ tcfail072.hs:23:13: error: - • Could not deduce (Ord p0) arising from a use of ‘g’ + • Could not deduce ‘Ord p0’ arising from a use of ‘g’ from the context: (Ord p, Ord q) bound by the type signature for: g :: forall p q. (Ord p, Ord q) => AB p q -> Bool diff --git a/testsuite/tests/typecheck/should_fail/tcfail080.stderr b/testsuite/tests/typecheck/should_fail/tcfail080.stderr index c6d7fc5c90..8746ba0bb9 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail080.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail080.stderr @@ -1,6 +1,6 @@ tcfail080.hs:27:1: error: - • Could not deduce (Collection c0 a) + • Could not deduce ‘Collection c0 a’ from the context: Collection c a bound by the inferred type for ‘q’: forall {c :: * -> *} {a}. Collection c a => a -> Bool diff --git a/testsuite/tests/typecheck/should_fail/tcfail093.stderr b/testsuite/tests/typecheck/should_fail/tcfail093.stderr index 4909623a52..5776a720b1 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail093.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail093.stderr @@ -1,5 +1,5 @@ tcfail093.hs:23:10: error: - • No instance for (Call (IO Int) h0) arising from a use of ‘call’ + • No instance for ‘Call (IO Int) h0’ arising from a use of ‘call’ • In the expression: call primDup In an equation for ‘dup’: dup () = call primDup diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr index f00af20700..48cdfa37cd 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr @@ -1,6 +1,6 @@ tcfail097.hs:5:6: error: - • Could not deduce (Eq a0) + • Could not deduce ‘Eq a0’ from the context: Eq a bound by the type signature for: f :: forall a. Eq a => Int -> Int diff --git a/testsuite/tests/typecheck/should_fail/tcfail098.stderr b/testsuite/tests/typecheck/should_fail/tcfail098.stderr index a0c2735c26..f4718e371b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail098.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail098.stderr @@ -1,6 +1,6 @@ tcfail098.hs:13:10: error: - • Could not deduce (Bar a0) + • Could not deduce ‘Bar a0’ from the context: Bar a bound by an instance declaration: forall a. Bar a => Bar Bool diff --git a/testsuite/tests/typecheck/should_fail/tcfail102.stderr b/testsuite/tests/typecheck/should_fail/tcfail102.stderr index 88b01eea0c..2afbb655b0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail102.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail102.stderr @@ -3,7 +3,7 @@ tcfail102.hs:1:14: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. tcfail102.hs:9:7: error: - • Could not deduce (Integral (Ratio a)) + • Could not deduce ‘Integral (Ratio a)’ from the context: Integral a bound by the type signature for: f :: forall a. Integral a => P (Ratio a) -> P (Ratio a) diff --git a/testsuite/tests/typecheck/should_fail/tcfail106.stderr b/testsuite/tests/typecheck/should_fail/tcfail106.stderr index 435438694d..85dc5aca81 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail106.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail106.stderr @@ -1,10 +1,10 @@ tcfail106.hs:11:10: error: - • No instance for (S Int) + • No instance for ‘S Int’ arising from the superclasses of an instance declaration • In the instance declaration for ‘C Int’ tcfail106.hs:14:10: error: - • No instance for (S Int) + • No instance for ‘S Int’ arising from the superclasses of an instance declaration • In the instance declaration for ‘D Int’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail109.stderr b/testsuite/tests/typecheck/should_fail/tcfail109.stderr index ce8011a5e7..0178f88f8e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail109.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail109.stderr @@ -1,5 +1,5 @@ -tcfail109.hs:16:10: - No instance for (Eq Stupid) - arising from the superclasses of an instance declaration - In the instance declaration for ‘Collects Bool Stupid’ +tcfail109.hs:16:10: error: + • No instance for ‘Eq Stupid’ + arising from the superclasses of an instance declaration + • In the instance declaration for ‘Collects Bool Stupid’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail116.stderr b/testsuite/tests/typecheck/should_fail/tcfail116.stderr index 83a76daf30..cbcba0548d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail116.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail116.stderr @@ -1,6 +1,6 @@ tcfail116.hs:7:5: error: - • Could not deduce (Foo a0) + • Could not deduce ‘Foo a0’ from the context: Foo a bound by the type signature for: bug :: forall a. Foo a => () diff --git a/testsuite/tests/typecheck/should_fail/tcfail125.stderr b/testsuite/tests/typecheck/should_fail/tcfail125.stderr index 813fa6d0b8..3299ba0a58 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail125.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail125.stderr @@ -3,7 +3,7 @@ tcfail125.hs:1:14: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. tcfail125.hs:11:4: error: - • No instance for (Show a) arising from a use of ‘LiftObs’ + • No instance for ‘Show a’ arising from a use of ‘LiftObs’ Possible fix: add (Show a) to the context of the type signature for: diff --git a/testsuite/tests/typecheck/should_fail/tcfail133.stderr b/testsuite/tests/typecheck/should_fail/tcfail133.stderr index d88b8db0ec..8917e46ee9 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail133.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail133.stderr @@ -19,7 +19,7 @@ tcfail133.hs:68:7: error: foo = show $ add (One :@ Zero) (One :@ One) tcfail133.hs:68:14: error: - • No instance for (AddDigit (Zero :@ (One :@ One)) One a0) + • No instance for ‘AddDigit (Zero :@ (One :@ One)) One a0’ arising from a use of ‘add’ • In the second argument of ‘($)’, namely ‘add (One :@ Zero) (One :@ One)’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail137.stderr b/testsuite/tests/typecheck/should_fail/tcfail137.stderr index 3d9f0d0568..28a0d5834b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail137.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail137.stderr @@ -2,7 +2,7 @@ tcfail137.hs:1:14: warning: [-Wdeprecated-flags (in -Wdefault)] -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. -tcfail137.hs:8:5: - No instance for (Floating Bool) arising from a use of ‘Test’ - In the expression: Test [False, True] - In an equation for ‘x’: x = Test [False, True] +tcfail137.hs:8:5: error: + • No instance for ‘Floating Bool’ arising from a use of ‘Test’ + • In the expression: Test [False, True] + In an equation for ‘x’: x = Test [False, True] diff --git a/testsuite/tests/typecheck/should_fail/tcfail142.stderr b/testsuite/tests/typecheck/should_fail/tcfail142.stderr index ecb22021f3..83469d87d0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail142.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail142.stderr @@ -1,6 +1,6 @@ tcfail142.hs:19:8: error: - • Could not deduce (Bar a0 r) + • Could not deduce ‘Bar a0 r’ from the context: Bar a r bound by the type signature for: bar :: forall a r. Bar a r => r -> () diff --git a/testsuite/tests/typecheck/should_fail/tcfail152.stderr b/testsuite/tests/typecheck/should_fail/tcfail152.stderr index 1db77b0657..e50ccbb2a1 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail152.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail152.stderr @@ -1,7 +1,7 @@ -tcfail152.hs:10:14: - No instance for (Integral a) arising from a use of ‘toInteger’ - Possible fix: - add (Integral a) to the context of the data constructor ‘C’ - In the expression: toInteger x - In an equation for ‘test’: test (C x) = toInteger x +tcfail152.hs:10:14: error: + • No instance for ‘Integral a’ arising from a use of ‘toInteger’ + Possible fix: + add (Integral a) to the context of the data constructor ‘C’ + • In the expression: toInteger x + In an equation for ‘test’: test (C x) = toInteger x diff --git a/testsuite/tests/typecheck/should_fail/tcfail169.stderr b/testsuite/tests/typecheck/should_fail/tcfail169.stderr index bc72c3c423..f5863778fa 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail169.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail169.stderr @@ -1,6 +1,6 @@ tcfail169.hs:7:51: error: - • Could not deduce (Show (Succ a)) + • Could not deduce ‘Show (Succ a)’ arising from the second field of ‘Cons’ (type ‘Seq (Succ a)’) from the context: Show a bound by the deriving clause for ‘Show (Seq a)’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail171.stderr b/testsuite/tests/typecheck/should_fail/tcfail171.stderr index e5e90903bb..78f324338c 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail171.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail171.stderr @@ -1,6 +1,6 @@ tcfail171.hs:9:10: error: - • No instance for (PrintfArg a) arising from a use of ‘printf’ + • No instance for ‘PrintfArg a’ arising from a use of ‘printf’ Possible fix: add (PrintfArg a) to the context of the type signature for: diff --git a/testsuite/tests/typecheck/should_fail/tcfail181.stderr b/testsuite/tests/typecheck/should_fail/tcfail181.stderr index fdb16ea140..5737c1f04e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail181.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail181.stderr @@ -1,6 +1,6 @@ tcfail181.hs:17:9: error: - • Could not deduce (Monad m0) arising from a use of ‘foo’ + • Could not deduce ‘Monad m0’ arising from a use of ‘foo’ from the context: Monad m bound by the inferred type of wog :: Monad m => p -> Something (m Bool) e diff --git a/testsuite/tests/typecheck/should_fail/tcfail190.stderr b/testsuite/tests/typecheck/should_fail/tcfail190.stderr index 6b5374416e..eb92264fec 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail190.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail190.stderr @@ -1,7 +1,8 @@ -tcfail190.hs:14:31: - No instance for (Ord Unorderable) arising from a use of ‘groupWith’ - In the expression: groupWith - In a stmt of a list comprehension: then group by x using groupWith - In the expression: - [() | x <- [Gnorf, Brain], then group by x using groupWith] +tcfail190.hs:14:31: error: + • No instance for ‘Ord Unorderable’ + arising from a use of ‘groupWith’ + • In the expression: groupWith + In a stmt of a list comprehension: then group by x using groupWith + In the expression: + [() | x <- [Gnorf, Brain], then group by x using groupWith] diff --git a/testsuite/tests/typecheck/should_fail/tcfail208.stderr b/testsuite/tests/typecheck/should_fail/tcfail208.stderr index 978200ad77..544d62f8bd 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail208.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail208.stderr @@ -1,6 +1,6 @@ tcfail208.hs:4:19: error: - • Could not deduce (Eq (m a)) arising from a use of ‘==’ + • Could not deduce ‘Eq (m a)’ arising from a use of ‘==’ from the context: (Monad m, Eq a) bound by the type signature for: f :: forall (m :: * -> *) a. (Monad m, Eq a) => a -> m a -> Bool diff --git a/testsuite/tests/typecheck/should_fail/tcfail223.stderr b/testsuite/tests/typecheck/should_fail/tcfail223.stderr index e4a4fcda54..065f6818e5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail223.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail223.stderr @@ -1,9 +1,9 @@ tcfail223.hs:10:10: error: - Could not deduce (Class1 a) - arising from the superclasses of an instance declaration - from the context: Class3 a - bound by the instance declaration at tcfail223.hs:10:10-29 - Possible fix: - add (Class1 a) to the context of the instance declaration - In the instance declaration for ‘Class2 a’ + • Could not deduce ‘Class1 a’ + arising from the superclasses of an instance declaration + from the context: Class3 a + bound by the instance declaration at tcfail223.hs:10:10-29 + Possible fix: + add (Class1 a) to the context of the instance declaration + • In the instance declaration for ‘Class2 a’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail224.stderr b/testsuite/tests/typecheck/should_fail/tcfail224.stderr index 70088e2f3a..684eb43d70 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail224.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail224.stderr @@ -1,6 +1,6 @@ tcfail224.hs:8:5: error: - • No instance for (Num Int) arising from the literal ‘3’ + • No instance for ‘Num Int’ arising from the literal ‘3’ There are instances for similar types: instance Num GHC.Types.Int -- Defined in ‘GHC.Num’ • In the expression: 3 diff --git a/testsuite/tests/typecheck/should_run/T3731.stderr b/testsuite/tests/typecheck/should_run/T3731.stderr index fabf1af91d..0863ca0e61 100644 --- a/testsuite/tests/typecheck/should_run/T3731.stderr +++ b/testsuite/tests/typecheck/should_run/T3731.stderr @@ -3,7 +3,7 @@ T3731.hs:4:15: warning: [-Wdeprecated-flags (in -Wdefault)] -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS T3731.hs:122:32: error: - • Could not deduce (Default a) + • Could not deduce ‘Default a’ arising from a superclass required to satisfy ‘Data DefaultD a’, arising from a use of ‘dataTypeOf’ from the context: Data DefaultD a diff --git a/testsuite/tests/typecheck/should_run/T3731_simple.stderr b/testsuite/tests/typecheck/should_run/T3731_simple.stderr index 912f019c02..941722345a 100644 --- a/testsuite/tests/typecheck/should_run/T3731_simple.stderr +++ b/testsuite/tests/typecheck/should_run/T3731_simple.stderr @@ -1,6 +1,6 @@ T3731_simple.hs:19:13: error: - • Could not deduce (Default a) + • Could not deduce ‘Default a’ arising from a superclass required to satisfy ‘Data a’, arising from a use of ‘dataTypeOf’ from the context: Data a -- cgit v1.2.1