diff --git a/compiler/GHC/Tc/Errors/Ppr.hs b/compiler/GHC/Tc/Errors/Ppr.hs
index 9a14a02010d11b7c13636567dbe55587f8f03957..cba874bb5a88973bbc160b36306f999012235a6c 100644
--- a/compiler/GHC/Tc/Errors/Ppr.hs
+++ b/compiler/GHC/Tc/Errors/Ppr.hs
@@ -7,6 +7,7 @@
{-# LANGUAGE ViewPatterns #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS_GHC -fno-warn-orphans #-} -- instance Diagnostic TcRnMessage
{-# LANGUAGE InstanceSigs #-}
@@ -738,7 +739,7 @@ instance Diagnostic TcRnMessage where
what = text "type constructor" <+> quotes (ppr (RecSelData tc))
pat_syn_msg
| any (\case { RecSelPatSyn {} -> True; _ -> False}) pars
- = text "NB: type-directed disambiguation is not supported for pattern synonym record fields."
+ = note "Type-directed disambiguation is not supported for pattern synonym record fields"
| otherwise
= empty
TcRnStaticFormNotClosed name reason
@@ -798,9 +799,9 @@ instance Diagnostic TcRnMessage where
-> mkDecorated
[ text "The" <+> quotes (text "~") <+> text "operator is out of scope." $$
text "Assuming it to stand for an equality constraint."
- , text "NB:" <+> (quotes (text "~") <+> text "used to be built-in syntax but now is a regular type operator" $$
- text "exported from Data.Type.Equality and Prelude.") $$
- text "If you are using a custom Prelude, consider re-exporting it."
+ , note $ quotes "~" <+> "used to be built-in syntax but now is a regular type operator" $$
+ "exported from Data.Type.Equality and Prelude." $$
+ "If you are using a custom Prelude, consider re-exporting it"
, text "This will become an error in a future GHC release." ]
TcRnTypeEqualityRequiresOperators
-> mkSimpleDecorated $
@@ -1544,15 +1545,14 @@ instance Diagnostic TcRnMessage where
| null inferred_tvs && null specified_tvs
= empty
| null inferred_tvs
- = hang (text "NB: Specified variables")
- 2 (sep [pp_spec, text "always come first"])
+ = note $ "Specified variables" <+> pp_spec <+> "always come first"
| null specified_tvs
- = hang (text "NB: Inferred variables")
- 2 (sep [pp_inf, text "always come first"])
+ = note inf_always_first
| otherwise
- = hang (text "NB: Inferred variables")
- 2 (vcat [ sep [ pp_inf, text "always come first"]
- , sep [text "then Specified variables", pp_spec]])
+ = note $ inf_always_first $$
+ "then specified variables" <+> pp_spec
+
+ inf_always_first = "Inferred variables" <+> pp_inf $$ "always come first"
pp_inf = parens (text "namely:" <+> pprTyVars inferred_tvs)
pp_spec = parens (text "namely:" <+> pprTyVars specified_tvs)
@@ -1864,9 +1864,9 @@ instance Diagnostic TcRnMessage where
2 (ppr hs_bndr)
, text "There is no matching forall-bound variable"
, text "in the standalone kind signature for" <+> quotes (ppr name) <> dot
- , text "NB." <+> vcat [
- text "Only" <+> quotes (text "forall a.") <+> text "-quantification matches invisible binders,",
- text "whereas" <+> quotes (text "forall {a}.") <+> text "and" <+> quotes (text "forall a ->") <+> text "do not."
+ , note $ vcat [
+ "Only" <+> quotes "forall a." <+> "-quantification matches invisible binders,",
+ "whereas" <+> quotes "forall {a}." <+> "and" <+> quotes "forall a ->" <+> "do not"
]]
TcRnDeprecatedInvisTyArgInConPat ->
@@ -3255,6 +3255,10 @@ instance Diagnostic TcRnMessage where
diagnosticCode = constructorCode
+
+note :: SDoc -> SDoc
+note note = "Note" <> colon <+> note <> dot
+
-- | Change [x] to "x", [x, y] to "x and y", [x, y, z] to "x, y, and z",
-- and so on. The `and` stands for any `conjunction`, which is passed in.
commafyWith :: SDoc -> [SDoc] -> [SDoc]
@@ -4279,7 +4283,7 @@ pprMismatchMsg ctxt
_ -> Nothing -- Must be TupleRep [r1..rn]
| otherwise = Nothing
- starts_with_vowel (c:_) = c `elem` "AEIOU"
+ starts_with_vowel (c:_) = c `elem` ("AEIOU" :: String)
starts_with_vowel [] = False
pprMismatchMsg ctxt (CouldNotDeduce useful_givens (item :| others) mb_extra)
@@ -4590,13 +4594,10 @@ pprExpectedActualInfo _
pprCoercibleMsg :: CoercibleMsg -> SDoc
pprCoercibleMsg (UnknownRoles ty) =
- hang (text "NB: We cannot know what roles the parameters to" <+>
- quotes (ppr ty) <+> text "have;")
- 2 (text "we must assume that the role is nominal")
+ note $ "We cannot know what roles the parameters to" <+> quotes (ppr ty) <+> "have;" $$
+ "we must assume that the role is nominal"
pprCoercibleMsg (TyConIsAbstract tc) =
- hsep [ text "NB: The type constructor"
- , quotes (pprSourceTyCon tc)
- , text "is abstract" ]
+ note $ "The type constructor" <+> quotes (pprSourceTyCon tc) <+> "is abstract"
pprCoercibleMsg (OutOfScopeNewtypeConstructor tc dc) =
hang (text "The data constructor" <+> quotes (ppr $ dataConName dc))
2 (sep [ text "of newtype" <+> quotes (pprSourceTyCon tc)
@@ -4658,12 +4659,11 @@ pprAmbiguityInfo (Ambiguity prepend_msg (ambig_kvs, ambig_tvs)) = msg
= text "The" <+> what <+> text "variable" <> plural tkvs
<+> pprQuotedList tkvs <+> isOrAre tkvs <+> text "ambiguous"
pprAmbiguityInfo (NonInjectiveTyFam tc) =
- text "NB:" <+> quotes (ppr tc)
- <+> text "is a non-injective type family"
+ note $ quotes (ppr tc) <+> text "is a non-injective type family"
pprSameOccInfo :: SameOccInfo -> SDoc
pprSameOccInfo (SameOcc same_pkg n1 n2) =
- text "NB:" <+> (ppr_from same_pkg n1 $$ ppr_from same_pkg n2)
+ note (ppr_from same_pkg n1 $$ ppr_from same_pkg n2)
where
ppr_from same_pkg nm
| isGoodSrcSpan loc
@@ -4939,25 +4939,14 @@ This initially came up in #8968, concerning pattern synonyms.
**********************************************************************-}
instance Outputable ImportError where
- ppr (MissingModule mod_name) =
- hsep
- [ text "NB: no module named"
- , quotes (ppr mod_name)
- , text "is imported."
- ]
- ppr (ModulesDoNotExport mods occ_name)
- | mod NE.:| [] <- mods
- = hsep
- [ text "NB: the module"
- , quotes (ppr mod)
- , text "does not export"
- , quotes (ppr occ_name) <> dot ]
- | otherwise
- = hsep
- [ text "NB: neither"
- , quotedListWithNor (map ppr $ NE.toList mods)
- , text "export"
- , quotes (ppr occ_name) <> dot ]
+ ppr err = note $ case err of
+ MissingModule mod_name -> "No module named" <+> quoted mod_name <+> "is imported"
+ ModulesDoNotExport mods occ_name
+ | mod NE.:| [] <- mods -> "The module" <+> quoted mod <+> "does not export" <+> quoted occ_name
+ | otherwise -> "Neither" <+> quotedListWithNor (map ppr $ NE.toList mods) <+> "export" <+> quoted occ_name
+ where
+ quoted :: Outputable a => a -> SDoc
+ quoted = quotes . ppr
{- *********************************************************************
* *
@@ -5919,8 +5908,7 @@ pprBootTyConMismatch boot_or_sig tc1 tc2 = \case
else
text "The roles do not match." $$
if boot_or_sig == HsBoot
- then text "NB: roles on abstract types default to" <+>
- quotes (text "representational") <+> text "in hs-boot files."
+ then note $ "Roles on abstract types default to" <+> quotes "representational" <+> "in hs-boot files"
else empty
TyConSynonymMismatch {} -> empty -- nothing interesting to say
TyConFlavourMismatch fam_flav1 fam_flav2 ->
diff --git a/testsuite/tests/backpack/should_fail/bkpfail24.stderr b/testsuite/tests/backpack/should_fail/bkpfail24.stderr
index aa335397571c3503de56b31670c27d7a8080551f..1a80c99610db12aaa99db88fab7d582b353bc68e 100644
--- a/testsuite/tests/backpack/should_fail/bkpfail24.stderr
+++ b/testsuite/tests/backpack/should_fail/bkpfail24.stderr
@@ -1,8 +1,7 @@
[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: [GHC-25897]
• Could not deduce ‘a ~ b’
from the context: {H1.T} ~ {H2.T}
@@ -25,7 +24,8 @@ bkpfail24.bkp:14:15: error: [GHC-25897]
bkpfail24.bkp:19:15: error: [GHC-83865]
• Couldn't match expected type ‘{H2.T}’ with actual type ‘{H1.T}’
- NB: ‘{H2.T}’ is defined at bkpfail24.bkp:6:9-14
- ‘{H1.T}’ is defined at bkpfail24.bkp:4:9-14
+ Note: ‘{H2.T}’ is defined at bkpfail24.bkp:6:9-14
+ ‘{H1.T}’ is defined at bkpfail24.bkp:4:9-14.
• In the expression: x
In an equation for ‘g’: g x = x
+
diff --git a/testsuite/tests/backpack/should_fail/bkpfail49.stderr b/testsuite/tests/backpack/should_fail/bkpfail49.stderr
index fa1fa5420769149962ea4f3f10115899e8e999e3..e6617ad34319a3072d03ab8feaee58b46cd95eee 100644
--- a/testsuite/tests/backpack/should_fail/bkpfail49.stderr
+++ b/testsuite/tests/backpack/should_fail/bkpfail49.stderr
@@ -1,10 +1,10 @@
[1 of 2] Processing p
- [1 of 1] Compiling A[sig] ( p\A.hsig, nothing )
+ [1 of 1] Compiling A[sig] ( p/A.hsig, nothing )
[2 of 2] Processing q
- [1 of 3] Compiling A[sig] ( q\A.hsig, nothing )
- [2 of 3] Compiling M ( q\M.hs, nothing )
-
+ [1 of 3] Compiling A[sig] ( q/A.hsig, nothing )
+ [2 of 3] Compiling M ( q/M.hs, nothing )
bkpfail49.bkp:11:13: error: [GHC-76037]
Not in scope: data constructor ‘A.True’
- NB: the module ‘A’ does not export ‘True’.
+ Note: The module ‘A’ does not export ‘True’.
+
[3 of 3] Instantiating p
diff --git a/testsuite/tests/dependent/should_fail/BadTelescope4.stderr b/testsuite/tests/dependent/should_fail/BadTelescope4.stderr
index c0e55d40d20369bac5c6b7fa400cd9f720a00c31..a3ad2c2dc8e00a2f87202a3848e68cf6865bc814 100644
--- a/testsuite/tests/dependent/should_fail/BadTelescope4.stderr
+++ b/testsuite/tests/dependent/should_fail/BadTelescope4.stderr
@@ -1,12 +1,11 @@
-
BadTelescope4.hs:9:1: error: [GHC-87279]
• The kind of ‘Bad’ is ill-scoped
Inferred kind: Bad :: forall {k} (b :: Proxy a).
forall (a :: k) ->
Proxy b -> forall (d :: Proxy a) -> SameKind b d -> *
- NB: Inferred variables
- (namely: k) always come first
- then Specified variables (namely: (b :: Proxy a))
+ Note: Inferred variables (namely: k)
+ always come first
+ then specified variables (namely: (b :: Proxy a)).
Perhaps try this order instead:
k
(a :: k)
@@ -15,3 +14,4 @@ BadTelescope4.hs:9:1: error: [GHC-87279]
(d :: Proxy a)
(x :: SameKind b d)
• In the data type declaration for ‘Bad’
+
diff --git a/testsuite/tests/dependent/should_fail/T14066g.stderr b/testsuite/tests/dependent/should_fail/T14066g.stderr
index e1e23127dfb277ae4f7b1211a7483a426a0e177d..9a64777cc1015c2fd78e3140164e324c8c2500c2 100644
--- a/testsuite/tests/dependent/should_fail/T14066g.stderr
+++ b/testsuite/tests/dependent/should_fail/T14066g.stderr
@@ -1,9 +1,9 @@
-
T14066g.hs:9:1: error: [GHC-87279]
• The kind of ‘Q’ is ill-scoped
Inferred kind: Q :: forall (c :: a).
forall a (b :: a) -> SameKind c b -> *
- NB: Specified variables (namely: (c :: a)) always come first
+ Note: Specified variables (namely: (c :: a)) always come first.
Perhaps try this order instead:
a (c :: a) (b :: a) (d :: SameKind c b)
• In the data type declaration for ‘Q’
+
diff --git a/testsuite/tests/dependent/should_fail/T15591b.stderr b/testsuite/tests/dependent/should_fail/T15591b.stderr
index 78f9bca9be1ec27a58e06183acd14f1eb5a0d57e..0468a6bd8216b0c2132657733ad48e2db05c2969 100644
--- a/testsuite/tests/dependent/should_fail/T15591b.stderr
+++ b/testsuite/tests/dependent/should_fail/T15591b.stderr
@@ -1,8 +1,9 @@
-
T15591b.hs:9:3: error: [GHC-87279]
• The kind of ‘T4’ is ill-scoped
Inferred kind: T4 :: forall {b :: Proxy a}.
forall a -> Proxy b -> *
- NB: Inferred variables (namely: (b :: Proxy a)) always come first
+ Note: Inferred variables (namely: (b :: Proxy a))
+ always come first.
Perhaps try this order instead: a (b :: Proxy a) (c :: Proxy b)
• In the associated type family declaration for ‘T4’
+
diff --git a/testsuite/tests/dependent/should_fail/T15591c.stderr b/testsuite/tests/dependent/should_fail/T15591c.stderr
index bd9fcbedd0806ae687d235c0957fa7f657b10530..b2b485303723a4606ee895b25cc65233410bfaa1 100644
--- a/testsuite/tests/dependent/should_fail/T15591c.stderr
+++ b/testsuite/tests/dependent/should_fail/T15591c.stderr
@@ -1,8 +1,9 @@
-
T15591c.hs:9:3: error: [GHC-87279]
• The kind of ‘T5’ is ill-scoped
Inferred kind: T5 :: forall {b :: Proxy a}.
Proxy b -> forall a -> *
- NB: Inferred variables (namely: (b :: Proxy a)) always come first
+ Note: Inferred variables (namely: (b :: Proxy a))
+ always come first.
Perhaps try this order instead: a (b :: Proxy a) (c :: Proxy b)
• In the associated type family declaration for ‘T5’
+
diff --git a/testsuite/tests/dependent/should_fail/T15743c.stderr b/testsuite/tests/dependent/should_fail/T15743c.stderr
index d7fd3e807ded132d678cb512df0b99e4218c3f4b..2adbacc50787e771683b2c991b61f7700336d0cd 100644
--- a/testsuite/tests/dependent/should_fail/T15743c.stderr
+++ b/testsuite/tests/dependent/should_fail/T15743c.stderr
@@ -1,10 +1,10 @@
-
T15743c.hs:10:1: error: [GHC-87279]
• The kind of ‘T’ is ill-scoped
Inferred kind: T :: forall {d :: k}.
forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
SimilarKind a b -> *
- NB: Inferred variables (namely: (d :: k)) always come first
+ Note: Inferred variables (namely: (d :: k))
+ always come first.
Perhaps try this order instead:
k
(d :: k)
@@ -13,3 +13,4 @@ T15743c.hs:10:1: error: [GHC-87279]
(b :: Proxy d)
(x :: SimilarKind a b)
• In the data type declaration for ‘T’
+
diff --git a/testsuite/tests/dependent/should_fail/T15743d.stderr b/testsuite/tests/dependent/should_fail/T15743d.stderr
index ba5da289f3084ea5936bbb26c3da68935fdb228b..973953cca941bcc78c6b2f594056a304fbb13b5b 100644
--- a/testsuite/tests/dependent/should_fail/T15743d.stderr
+++ b/testsuite/tests/dependent/should_fail/T15743d.stderr
@@ -1,10 +1,9 @@
-
T15743d.hs:10:1: error: [GHC-87279]
• The kind of ‘T2’ is ill-scoped
Inferred kind: T2 :: forall (d :: k).
forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
SimilarKind a b -> *
- NB: Specified variables (namely: (d :: k)) always come first
+ Note: Specified variables (namely: (d :: k)) always come first.
Perhaps try this order instead:
k
(d :: k)
@@ -13,3 +12,4 @@ T15743d.hs:10:1: error: [GHC-87279]
(b :: Proxy d)
(x :: SimilarKind a b)
• In the data type declaration for ‘T2’
+
diff --git a/testsuite/tests/deriving/should_fail/T1496.stderr b/testsuite/tests/deriving/should_fail/T1496.stderr
index 73f1f7e34f14ab6f507fc8253358a5a525ac5053..2cc3ff48c6c3324937e8ea0510c36450f9746fb0 100644
--- a/testsuite/tests/deriving/should_fail/T1496.stderr
+++ b/testsuite/tests/deriving/should_fail/T1496.stderr
@@ -1,10 +1,10 @@
-
T1496.hs:10:32: error: [GHC-18872]
• Couldn't match representation of type: c Int
with that of: c Moo
arising from the coercion of the method ‘isInt’
from type ‘forall (c :: * -> *). c Int -> c Int’
to type ‘forall (c :: * -> *). c Int -> c Moo’
- NB: We cannot know what roles the parameters to ‘c’ have;
- we must assume that the role is nominal
+ Note: We cannot know what roles the parameters to ‘c’ have;
+ we must assume that the role is nominal.
• When deriving the instance for (IsInt Moo)
+
diff --git a/testsuite/tests/deriving/should_fail/T5498.stderr b/testsuite/tests/deriving/should_fail/T5498.stderr
index d6638f4332f65a0c53b800778ac02757a831e3e7..2c4a234dac306a8416823f9481d6f1cfe87fbbe8 100644
--- a/testsuite/tests/deriving/should_fail/T5498.stderr
+++ b/testsuite/tests/deriving/should_fail/T5498.stderr
@@ -1,10 +1,10 @@
-
T5498.hs:30:39: error: [GHC-18872]
• Couldn't match representation of type: c a
with that of: c (Down a)
arising from the coercion of the method ‘intIso’
from type ‘forall (c :: * -> *). c a -> c Int’
to type ‘forall (c :: * -> *). c (Down a) -> c Int’
- NB: We cannot know what roles the parameters to ‘c’ have;
- we must assume that the role is nominal
+ Note: We cannot know what roles the parameters to ‘c’ have;
+ we must assume that the role is nominal.
• When deriving the instance for (IntIso (Down a))
+
diff --git a/testsuite/tests/deriving/should_fail/T8984.stderr b/testsuite/tests/deriving/should_fail/T8984.stderr
index 8a23250d4dc22936af732f727531862dbec1ef36..d49e3f41c25c225809c04e4a284cef8ee002e258 100644
--- a/testsuite/tests/deriving/should_fail/T8984.stderr
+++ b/testsuite/tests/deriving/should_fail/T8984.stderr
@@ -1,9 +1,9 @@
-
T8984.hs:7:46: error: [GHC-18872]
• Couldn't match representation of type: cat a (N cat a Int)
with that of: cat a (cat a Int)
arising from the coercion of the method ‘app’
from type ‘cat a (cat a Int)’ to type ‘N cat a (N cat a Int)’
- NB: We cannot know what roles the parameters to ‘cat a’ have;
- we must assume that the role is nominal
+ Note: We cannot know what roles the parameters to ‘cat a’ have;
+ we must assume that the role is nominal.
• When deriving the instance for (C (N cat a))
+
diff --git a/testsuite/tests/ghci/scripts/T2452.stderr b/testsuite/tests/ghci/scripts/T2452.stderr
index 05de0373e974a9204f73d745e2b7f129801a6ae1..62b390fd3d4b12dc6de2e18b85be3d55d564e507 100644
--- a/testsuite/tests/ghci/scripts/T2452.stderr
+++ b/testsuite/tests/ghci/scripts/T2452.stderr
@@ -1,8 +1,8 @@
-
<interactive>:1:1: error: [GHC-76037]
Not in scope: ‘System.IO.hPutStrLn’
- NB: no module named ‘System.IO’ is imported.
+ Note: No module named ‘System.IO’ is imported.
<interactive>:1:1: error: [GHC-76037]
Not in scope: ‘System.IO.hPutStrLn’
- NB: no module named ‘System.IO’ is imported.
+ Note: No module named ‘System.IO’ is imported.
+
diff --git a/testsuite/tests/ghci/scripts/T8639.stderr b/testsuite/tests/ghci/scripts/T8639.stderr
index be69a84d9e546b61052f8bb681deb8e36f3e6997..51b34686858757e61b9bf3459f9163a6dda1be5a 100644
--- a/testsuite/tests/ghci/scripts/T8639.stderr
+++ b/testsuite/tests/ghci/scripts/T8639.stderr
@@ -1,5 +1,5 @@
-
<interactive>:1:1: error: [GHC-76037]
Not in scope: ‘H.bit’
- NB: no module named ‘H’ is imported.
+ Note: No module named ‘H’ is imported.
Suggested fix: Perhaps use ‘Q.bit’ (imported from T8639)
+
diff --git a/testsuite/tests/ghci/scripts/T8649.stderr b/testsuite/tests/ghci/scripts/T8649.stderr
index 19edacbc188a9d7f7542bc3a362243b620b57f2d..e6840e56d744088a421a03fcb4332e4f9498d02f 100644
--- a/testsuite/tests/ghci/scripts/T8649.stderr
+++ b/testsuite/tests/ghci/scripts/T8649.stderr
@@ -1,8 +1,8 @@
-
<interactive>:4:4: error: [GHC-83865]
• Couldn't match expected type ‘Ghci1.X’ with actual type ‘X’
- NB: ‘Ghci1.X’ is defined at <interactive>:1:1-14
- ‘X’ is defined at <interactive>:3:1-25
+ Note: ‘Ghci1.X’ is defined at <interactive>:1:1-14
+ ‘X’ is defined at <interactive>:3:1-25.
• In the first argument of ‘f’, namely ‘(Y 3)’
In the expression: f (Y 3)
In an equation for ‘it’: it = f (Y 3)
+
diff --git a/testsuite/tests/ghci/scripts/ghci036.stderr b/testsuite/tests/ghci/scripts/ghci036.stderr
index 0f15f7a2a2e5d789e25d655a7f713853f495b446..1ecae302f292accfcd706fb29dd4224fd0eab301 100644
--- a/testsuite/tests/ghci/scripts/ghci036.stderr
+++ b/testsuite/tests/ghci/scripts/ghci036.stderr
@@ -1,4 +1,3 @@
-
<interactive>:1:1: error: [GHC-88464] Variable not in scope: nubBy
<interactive>:1:1: error: [GHC-88464] Variable not in scope: nub
@@ -13,6 +12,7 @@
<interactive>:1:1: error: [GHC-76037]
Not in scope: ‘L.nub’
- NB: no module named ‘L’ is imported.
+ Note: No module named ‘L’ is imported.
<interactive>:1:1: error: [GHC-88464] Variable not in scope: nub
+
diff --git a/testsuite/tests/ghci/scripts/ghci051.stderr b/testsuite/tests/ghci/scripts/ghci051.stderr
index cbbc9e0539178f2ba11927e775346518a927faa1..95f79eefca3d62e725f4d7b8fda8881395a76331 100644
--- a/testsuite/tests/ghci/scripts/ghci051.stderr
+++ b/testsuite/tests/ghci/scripts/ghci051.stderr
@@ -1,9 +1,9 @@
-
<interactive>:6:9: error: [GHC-83865]
• Couldn't match type ‘T’ with ‘Ghci1.T’
Expected: T'
Actual: T
- NB: ‘Ghci1.T’ is defined at <interactive>:2:1-14
- ‘T’ is defined at <interactive>:5:1-16
+ Note: ‘Ghci1.T’ is defined at <interactive>:2:1-14
+ ‘T’ is defined at <interactive>:5:1-16.
• In the expression: C :: T'
In an equation for ‘c’: c = C :: T'
+
diff --git a/testsuite/tests/ghci/scripts/ghci052.stderr b/testsuite/tests/ghci/scripts/ghci052.stderr
index 1cdd5597753ebcfae29fa8488cf93481f25d29b4..aab63c864cb94f797627c49c21a7ea7a9a46b7dc 100644
--- a/testsuite/tests/ghci/scripts/ghci052.stderr
+++ b/testsuite/tests/ghci/scripts/ghci052.stderr
@@ -1,9 +1,8 @@
-
<interactive>:8:4: error: [GHC-83865]
• Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
- NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
- ‘Planet’ is defined at <interactive>:7:1-36
+ Note: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
+ ‘Planet’ is defined at <interactive>:7:1-36.
• In the first argument of ‘pn’, namely ‘Mercury’
In the expression: pn Mercury
In an equation for ‘it’: it = pn Mercury
@@ -11,8 +10,8 @@
<interactive>:9:4: error: [GHC-83865]
• Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
- NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
- ‘Planet’ is defined at <interactive>:7:1-36
+ Note: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
+ ‘Planet’ is defined at <interactive>:7:1-36.
• In the first argument of ‘pn’, namely ‘Venus’
In the expression: pn Venus
In an equation for ‘it’: it = pn Venus
@@ -20,8 +19,8 @@
<interactive>:10:4: error: [GHC-83865]
• Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
- NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
- ‘Planet’ is defined at <interactive>:7:1-36
+ Note: ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
+ ‘Planet’ is defined at <interactive>:7:1-36.
• In the first argument of ‘pn’, namely ‘Mars’
In the expression: pn Mars
In an equation for ‘it’: it = pn Mars
@@ -29,7 +28,8 @@
<interactive>:12:44: error: [GHC-83865]
• Couldn't match expected type ‘Planet’
with actual type ‘Ghci1.Planet’
- NB: ‘Planet’ is defined at <interactive>:7:1-36
- ‘Ghci1.Planet’ is defined at <interactive>:4:1-37
+ Note: ‘Planet’ is defined at <interactive>:7:1-36
+ ‘Ghci1.Planet’ is defined at <interactive>:4:1-37.
• In the pattern: Earth
In an equation for ‘pn’: pn Earth = "E"
+
diff --git a/testsuite/tests/ghci/scripts/ghci053.stderr b/testsuite/tests/ghci/scripts/ghci053.stderr
index 7cf1a64b88c0dac9e4225259c91e97f1581253be..1f5ad4e99472e591450853a211bda43fb97d811f 100644
--- a/testsuite/tests/ghci/scripts/ghci053.stderr
+++ b/testsuite/tests/ghci/scripts/ghci053.stderr
@@ -1,9 +1,8 @@
-
<interactive>:9:12: error: [GHC-83865]
• Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
- NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-49
- ‘Planet’ is defined at <interactive>:7:1-41
+ Note: ‘Ghci1.Planet’ is defined at <interactive>:4:1-49
+ ‘Planet’ is defined at <interactive>:7:1-41.
• In the second argument of ‘(==)’, namely ‘Mercury’
In the expression: mercury == Mercury
In an equation for ‘it’: it = mercury == Mercury
@@ -11,8 +10,9 @@
<interactive>:11:10: error: [GHC-83865]
• Couldn't match expected type ‘Planet’
with actual type ‘Ghci1.Planet’
- NB: ‘Planet’ is defined at <interactive>:7:1-41
- ‘Ghci1.Planet’ is defined at <interactive>:4:1-49
+ Note: ‘Planet’ is defined at <interactive>:7:1-41
+ ‘Ghci1.Planet’ is defined at <interactive>:4:1-49.
• In the second argument of ‘(==)’, namely ‘Earth’
In the expression: Venus == Earth
In an equation for ‘it’: it = Venus == Earth
+
diff --git a/testsuite/tests/indexed-types/should_compile/T3208b.stderr b/testsuite/tests/indexed-types/should_compile/T3208b.stderr
index 9cb267050531fdb07e5f12302024c0422b1a3605..559f35cf46aa9b349dfbbbf37b30aee90afc4d40 100644
--- a/testsuite/tests/indexed-types/should_compile/T3208b.stderr
+++ b/testsuite/tests/indexed-types/should_compile/T3208b.stderr
@@ -1,4 +1,3 @@
-
T3208b.hs:15:10: error: [GHC-05617]
• Could not deduce ‘STerm o0 ~ OTerm a’ arising from a use of ‘fce’
from the context: (OTerm a ~ STerm a, OBJECT a, SUBST a)
@@ -23,7 +22,7 @@ T3208b.hs:15:15: error: [GHC-05617]
(OTerm a ~ STerm a, OBJECT a, SUBST a) =>
a -> c
at T3208b.hs:14:1-56
- NB: ‘OTerm’ is a non-injective type family
+ Note: ‘OTerm’ is a non-injective type family.
The type variable ‘o0’ is ambiguous
• In the first argument of ‘fce’, namely ‘(apply f)’
In the expression: fce (apply f)
@@ -31,3 +30,4 @@ T3208b.hs:15:15: error: [GHC-05617]
• Relevant bindings include
f :: a (bound at T3208b.hs:15:6)
fce' :: a -> c (bound at T3208b.hs:15:1)
+
diff --git a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr
index fe9520345fb064e9adb329876a5ec04e29bd711a..61cec4c91bdbc3b595bb1522dab008aa7a68bc86 100644
--- a/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr
+++ b/testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr
@@ -1,11 +1,11 @@
-
NoMatchErr.hs:19:7: error: [GHC-83865]
• Couldn't match type: Memo d0
with: Memo d
Expected: Memo d a -> Memo d a
Actual: Memo d0 a -> Memo d0 a
- NB: ‘Memo’ is a non-injective type family
- The type variable ‘d0’ is ambiguous
+ Note: ‘Memo’ is a non-injective type family.
+ The type variable ‘d0’ is ambiguous
• In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature: f :: (Fun d) => Memo d a -> Memo d a
+
diff --git a/testsuite/tests/indexed-types/should_fail/T14887.stderr b/testsuite/tests/indexed-types/should_fail/T14887.stderr
index dd91d0c44610260111dc070f134bcf7f6e0e77dd..bdc8cc866d41ec0ba673735c6490ee27568f28b7 100644
--- a/testsuite/tests/indexed-types/should_fail/T14887.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T14887.stderr
@@ -1,7 +1,7 @@
-
T14887.hs:15:1: error: [GHC-87279]
• The kind of ‘Foo2’ is ill-scoped
Inferred kind: Foo2 :: forall (a :: k). forall k -> (a :~: a) -> *
- NB: Specified variables (namely: (a :: k)) always come first
+ Note: Specified variables (namely: (a :: k)) always come first.
Perhaps try this order instead: k (a :: k) (e :: a :~: a)
• In the type family declaration for ‘Foo2’
+
diff --git a/testsuite/tests/indexed-types/should_fail/T15764.stderr b/testsuite/tests/indexed-types/should_fail/T15764.stderr
index 98ce75575d052d098a87fa39a839598aff274c40..c306b57780b80eae074d05c6a5c57131875fc935 100644
--- a/testsuite/tests/indexed-types/should_fail/T15764.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T15764.stderr
@@ -1,11 +1,11 @@
-
T15764.hs:14:2: error: [GHC-87279]
• The kind of ‘T6’ is ill-scoped
Inferred kind: T6 :: forall {a :: k} k (b :: Proxy a).
Proxy '(k, b) -> *
- NB: Inferred variables
- (namely: (a :: k)) always come first
- then Specified variables (namely: k (b :: Proxy a))
+ Note: Inferred variables (namely: (a :: k))
+ always come first
+ then specified variables (namely: k (b :: Proxy a)).
Perhaps try this order instead:
k (a :: k) (b :: Proxy a) (proxy :: Proxy '(k, b))
• In the associated type family declaration for ‘T6’
+
diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr
index ef291b87ce2ed29478f69aca30c486775ca4c49a..bbf15a81a27dfda0567328aa59f42f047f56e6d4 100644
--- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr
@@ -1,14 +1,14 @@
-
T1897b.hs:16:1: error: [GHC-83865]
• Couldn't match type: Depend a0
with: Depend a
Expected: t (Depend a) -> Bool
Actual: t (Depend a0) -> Bool
- NB: ‘Depend’ is a non-injective type family
- The type variable ‘a0’ is ambiguous
+ Note: ‘Depend’ is a non-injective type family.
+ The type variable ‘a0’ is ambiguous
• In the ambiguity check for the inferred type for ‘isValid’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the inferred type
isValid :: forall {t :: * -> *} {a}.
(Foldable t, Bug a) =>
t (Depend a) -> Bool
+
diff --git a/testsuite/tests/indexed-types/should_fail/T1900.stderr b/testsuite/tests/indexed-types/should_fail/T1900.stderr
index 8b245af562d9a637d0521679a40b79041900dfe4..572c85dd7190d88435814937af7669d954514101 100644
--- a/testsuite/tests/indexed-types/should_fail/T1900.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T1900.stderr
@@ -1,13 +1,13 @@
-
T1900.hs:8:3: error: [GHC-83865]
• Couldn't match type: Depend s0
with: Depend s
Expected: Depend s -> Depend s
Actual: Depend s0 -> Depend s0
- NB: ‘Depend’ is a non-injective type family
- The type variable ‘s0’ is ambiguous
+ Note: ‘Depend’ is a non-injective type family.
+ The type variable ‘s0’ is ambiguous
• In the ambiguity check for ‘trans’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
trans :: forall s. Bug s => Depend s -> Depend s
In the class declaration for ‘Bug’
+
diff --git a/testsuite/tests/indexed-types/should_fail/T2544.stderr b/testsuite/tests/indexed-types/should_fail/T2544.stderr
index 1f0d70f904575f6487c4325730558276c020cfc0..c226a77c361b0fe9bfeef475b5cd428e1ffd5772 100644
--- a/testsuite/tests/indexed-types/should_fail/T2544.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T2544.stderr
@@ -1,11 +1,10 @@
-
T2544.hs:19:18: error: [GHC-83865]
• Couldn't match type: IxMap i0
with: IxMap l
Expected: IxMap l [Int]
Actual: IxMap i0 [Int]
- NB: ‘IxMap’ is a non-injective type family
- The type variable ‘i0’ is ambiguous
+ Note: ‘IxMap’ is a non-injective type family.
+ The type variable ‘i0’ is ambiguous
• In the first argument of ‘BiApp’, namely ‘empty’
In the expression: BiApp empty empty
In an equation for ‘empty’: empty = BiApp empty empty
@@ -17,10 +16,11 @@ T2544.hs:19:24: error: [GHC-83865]
with: IxMap r
Expected: IxMap r [Int]
Actual: IxMap i1 [Int]
- NB: ‘IxMap’ is a non-injective type family
- The type variable ‘i1’ is ambiguous
+ Note: ‘IxMap’ is a non-injective type family.
+ The type variable ‘i1’ is ambiguous
• In the second argument of ‘BiApp’, namely ‘empty’
In the expression: BiApp empty empty
In an equation for ‘empty’: empty = BiApp empty empty
• Relevant bindings include
empty :: IxMap (l :|: r) [Int] (bound at T2544.hs:19:4)
+
diff --git a/testsuite/tests/indexed-types/should_fail/T4099.stderr b/testsuite/tests/indexed-types/should_fail/T4099.stderr
index 9f0f528cc10342b6503ab2d8881f0fc924451383..d0ad25646c747a03de76a44ca9ba58afd82a8e27 100644
--- a/testsuite/tests/indexed-types/should_fail/T4099.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T4099.stderr
@@ -1,9 +1,8 @@
-
T4099.hs:11:30: error: [GHC-83865]
• Couldn't match expected type: T a0
with actual type: T b
- NB: ‘T’ is a non-injective type family
- The type variable ‘a0’ is ambiguous
+ Note: ‘T’ is a non-injective type family.
+ The type variable ‘a0’ is ambiguous
• In the second argument of ‘foo’, namely ‘x’
In the expression: foo (error "urk") x
In an equation for ‘bar1’: bar1 a x = foo (error "urk") x
@@ -15,7 +14,7 @@ T4099.hs:11:30: error: [GHC-83865]
T4099.hs:14:30: error: [GHC-83865]
• Couldn't match expected type: T a1
with actual type: Maybe b
- The type variable ‘a1’ is ambiguous
+ The type variable ‘a1’ is ambiguous
• In the second argument of ‘foo’, namely ‘x’
In the expression: foo (error "urk") x
In an equation for ‘bar2’: bar2 a x = foo (error "urk") x
@@ -23,3 +22,4 @@ T4099.hs:14:30: error: [GHC-83865]
x :: Maybe b (bound at T4099.hs:14:8)
a :: b (bound at T4099.hs:14:6)
bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1)
+
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr
index 701006258a4666245f31695a99b71a4259638ccf..05eac234eec03e1c41488f9caee52db762be1a19 100644
--- a/testsuite/tests/indexed-types/should_fail/T4179.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr
@@ -1,4 +1,3 @@
-
T4179.hs:26:16: error: [GHC-83865]
• Couldn't match type: A2 (x (A2 (FCon x) -> A3 (FCon x)))
with: A2 (FCon x)
@@ -7,10 +6,11 @@ T4179.hs:26:16: error: [GHC-83865]
Actual: x (A2 (FCon x) -> A3 (FCon x))
-> A2 (x (A2 (FCon x) -> A3 (FCon x)))
-> A3 (x (A2 (FCon x) -> A3 (FCon x)))
- NB: ‘A2’ is a non-injective type family
+ Note: ‘A2’ is a non-injective type family.
• In the first argument of ‘foldDoC’, namely ‘op’
In the expression: foldDoC op
In an equation for ‘fCon’: fCon = foldDoC op
• Relevant bindings include
fCon :: Con x -> A2 (FCon x) -> A3 (FCon x)
(bound at T4179.hs:26:1)
+
diff --git a/testsuite/tests/indexed-types/should_fail/T9036.stderr b/testsuite/tests/indexed-types/should_fail/T9036.stderr
index bb114389166726d601a27813459f84170eebe1ba..9a094184ba06dc3cd3976bd1744939b237214c29 100644
--- a/testsuite/tests/indexed-types/should_fail/T9036.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T9036.stderr
@@ -1,12 +1,12 @@
-
T9036.hs:18:17: error: [GHC-83865]
• Couldn't match type: GetMonad t0
with: GetMonad t
Expected: Maybe (GetMonad t after) -> Curried t [t]
Actual: Maybe (GetMonad t0 after) -> Curried t0 [t0]
- NB: ‘GetMonad’ is a non-injective type family
- The type variable ‘t0’ is ambiguous
+ Note: ‘GetMonad’ is a non-injective type family.
+ The type variable ‘t0’ is ambiguous
• In the ambiguity check for ‘simpleLogger’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the type signature:
simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]
+
diff --git a/testsuite/tests/indexed-types/should_fail/T9171.stderr b/testsuite/tests/indexed-types/should_fail/T9171.stderr
index 7d93c7aa8e33f0e51250733fbf5d5c419bce9394..9da0276702c457979848fd28b69396f8e3ba9663 100644
--- a/testsuite/tests/indexed-types/should_fail/T9171.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T9171.stderr
@@ -1,12 +1,12 @@
-
T9171.hs:10:20: error: [GHC-83865]
• Couldn't match expected type: GetParam
@(*) @k2 @(*) Base (GetParam @(*) @(*) @k2 Base Int)
with actual type: GetParam
@(*) @k20 @(*) Base (GetParam @(*) @(*) @k20 Base Int)
- NB: ‘GetParam’ is a non-injective type family
- The type variable ‘k20’ is ambiguous
+ Note: ‘GetParam’ is a non-injective type family.
+ The type variable ‘k20’ is ambiguous
• In the ambiguity check for an expression type signature
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In an expression type signature: GetParam Base (GetParam Base Int)
In the expression: undefined :: GetParam Base (GetParam Base Int)
+
diff --git a/testsuite/tests/module/mod180.stderr b/testsuite/tests/module/mod180.stderr
index 6971e65f1ddfe387909663cd05b61564a556b408..1971b6292382b6dc8b293563ecccd1a09ef331af 100644
--- a/testsuite/tests/module/mod180.stderr
+++ b/testsuite/tests/module/mod180.stderr
@@ -1,8 +1,8 @@
-
mod180.hs:8:5: error: [GHC-83865]
• Couldn't match expected type ‘T’
with actual type ‘main:Mod180_A.T’
- NB: ‘T’ is defined at Mod180_B.hs:3:1-10
- ‘main:Mod180_A.T’ is defined at Mod180_A.hs:3:1-10
+ Note: ‘T’ is defined at Mod180_B.hs:3:1-10
+ ‘main:Mod180_A.T’ is defined at Mod180_A.hs:3:1-10.
• In the expression: x
In an equation for ‘z’: z = x
+
diff --git a/testsuite/tests/module/mod73.stderr b/testsuite/tests/module/mod73.stderr
index 9e990911012b1d8d08066082ba52681df963c9e7..173f4a2546b0195fc62db6b5da820f24a700c51d 100644
--- a/testsuite/tests/module/mod73.stderr
+++ b/testsuite/tests/module/mod73.stderr
@@ -1,9 +1,9 @@
-
mod73.hs:3:7: error: [GHC-76037]
Not in scope: ‘Prelude.g’
- NB: the module ‘Prelude’ does not export ‘g’.
+ Note: The module ‘Prelude’ does not export ‘g’.
Suggested fix:
Perhaps use one of these:
data constructor ‘Prelude.EQ’ (imported from Prelude),
data constructor ‘Prelude.GT’ (imported from Prelude),
data constructor ‘Prelude.LT’ (imported from Prelude)
+
diff --git a/testsuite/tests/module/mod74.stderr b/testsuite/tests/module/mod74.stderr
index 7570cfbcc396a1dfe7fb13db475d889b61aa8ceb..7077d332da68d50eeee133079d3c0dade9fa04cb 100644
--- a/testsuite/tests/module/mod74.stderr
+++ b/testsuite/tests/module/mod74.stderr
@@ -1,4 +1,4 @@
-
mod74.hs:3:7: error: [GHC-76037]
Not in scope: ‘N.g’
- NB: no module named ‘N’ is imported.
+ Note: No module named ‘N’ is imported.
+
diff --git a/testsuite/tests/overloadedrecflds/should_fail/T21946.stderr b/testsuite/tests/overloadedrecflds/should_fail/T21946.stderr
index 61254e3e3d564d2af64b30063627235df8a9ab01..434ceb7cef1fa136a0427dcd35ec2ae382502561 100644
--- a/testsuite/tests/overloadedrecflds/should_fail/T21946.stderr
+++ b/testsuite/tests/overloadedrecflds/should_fail/T21946.stderr
@@ -1,8 +1,8 @@
-
T21946.hs:11:7: error: [GHC-33238]
• No data constructor of type constructor ‘Int’
has all of the fields:
‘fld’
- NB: type-directed disambiguation is not supported for pattern synonym record fields.
+ Note: Type-directed disambiguation is not supported for pattern synonym record fields.
• In the expression: (r :: Int) {fld = undefined}
In an equation for ‘f’: f r = (r :: Int) {fld = undefined}
+
diff --git a/testsuite/tests/quantified-constraints/T15290a.stderr b/testsuite/tests/quantified-constraints/T15290a.stderr
index 0153a1a937ce9bd829e46933bc94f25d50b8244e..94c21b7b5eac096c287c22e9b63d9082698405e4 100644
--- a/testsuite/tests/quantified-constraints/T15290a.stderr
+++ b/testsuite/tests/quantified-constraints/T15290a.stderr
@@ -1,10 +1,9 @@
-
T15290a.hs:25:12: error: [GHC-18872]
• Couldn't match representation of type: m (Int, IntStateT m a1)
with that of: m (Int, StateT Int m a1)
arising from a use of ‘coerce’
- NB: We cannot know what roles the parameters to ‘m’ have;
- we must assume that the role is nominal
+ Note: We cannot know what roles the parameters to ‘m’ have;
+ we must assume that the role is nominal.
• In the expression:
coerce
@(forall a. StateT Int m (StateT Int m a) -> StateT Int m a)
@@ -18,3 +17,4 @@ T15290a.hs:25:12: error: [GHC-18872]
• Relevant bindings include
join :: IntStateT m (IntStateT m a) -> IntStateT m a
(bound at T15290a.hs:25:5)
+
diff --git a/testsuite/tests/quantified-constraints/T15290b.stderr b/testsuite/tests/quantified-constraints/T15290b.stderr
index e2a426b70abf87f91d73c71829bb760ad6a52556..adc0e816a3d4e3662e5afae5eaec036d95f6a998 100644
--- a/testsuite/tests/quantified-constraints/T15290b.stderr
+++ b/testsuite/tests/quantified-constraints/T15290b.stderr
@@ -1,4 +1,3 @@
-
T15290b.hs:28:49: error: [GHC-18872]
• Couldn't match representation of type: f (m b)
with that of: f (T1 m b)
@@ -9,6 +8,7 @@ T15290b.hs:28:49: error: [GHC-18872]
to type ‘forall (f :: * -> *) a b.
Applicative' f =>
(a -> f b) -> T1 m a -> f (T1 m b)’
- NB: We cannot know what roles the parameters to ‘f’ have;
- we must assume that the role is nominal
+ Note: We cannot know what roles the parameters to ‘f’ have;
+ we must assume that the role is nominal.
• When deriving the instance for (Traversable' (T1 m))
+
diff --git a/testsuite/tests/rename/should_compile/T20472.stderr b/testsuite/tests/rename/should_compile/T20472.stderr
index 11e4e830d9d21ce53f08b88bad1fe5eda6c1e646..74f607289d50a6d7e012f2a10523f5f792976758 100644
--- a/testsuite/tests/rename/should_compile/T20472.stderr
+++ b/testsuite/tests/rename/should_compile/T20472.stderr
@@ -1,11 +1,11 @@
-
T20472.hs:5:5: warning: [GHC-88464] [-Wdeferred-out-of-scope-variables (in -Wdefault)]
Variable not in scope: nonexistent
T20472.hs:6:5: warning: [GHC-88464] [-Wdeferred-out-of-scope-variables (in -Wdefault)]
Variable not in scope: Prelude.nonexistent
- NB: the module ‘Prelude’ does not export ‘nonexistent’.
+ Note: The module ‘Prelude’ does not export ‘nonexistent’.
T20472.hs:8:5: warning: [GHC-88464] [-Wdeferred-out-of-scope-variables (in -Wdefault)]
Variable not in scope: Nonexistent.x
- NB: no module named ‘Nonexistent’ is imported.
+ Note: No module named ‘Nonexistent’ is imported.
+
diff --git a/testsuite/tests/rename/should_fail/T10781.stderr b/testsuite/tests/rename/should_fail/T10781.stderr
index 7a7f01744236f354e9eb0b2d66f087f73e9842ed..c4a65927dd1db21da264f19386d8c0c14cf51938 100644
--- a/testsuite/tests/rename/should_fail/T10781.stderr
+++ b/testsuite/tests/rename/should_fail/T10781.stderr
@@ -1,4 +1,4 @@
-
T10781.hs:12:5: error: [GHC-76037]
Not in scope: ‘Foo._name’
- NB: no module named ‘Foo’ is imported.
+ Note: No module named ‘Foo’ is imported.
+
diff --git a/testsuite/tests/rename/should_fail/T11071.stderr b/testsuite/tests/rename/should_fail/T11071.stderr
index efe9501a95bcbd70ab6b85ed682477d2dba31021..e2e1ba492d4c538707800c262756ae33c7e7a76b 100644
--- a/testsuite/tests/rename/should_fail/T11071.stderr
+++ b/testsuite/tests/rename/should_fail/T11071.stderr
@@ -1,20 +1,19 @@
-
T11071.hs:19:12: error: [GHC-76037]
Not in scope: ‘NoSuchModule.foo’
- NB: no module named ‘NoSuchModule’ is imported.
+ Note: No module named ‘NoSuchModule’ is imported.
T11071.hs:20:12: error: [GHC-76037]
Not in scope: ‘Data.List.foobar’
- NB: the module ‘Data.List’ does not export ‘foobar’.
+ Note: The module ‘Data.List’ does not export ‘foobar’.
T11071.hs:21:12: error: [GHC-76037]
Not in scope: ‘M.foobar’
- NB: neither ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’.
+ Note: Neither ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’.
T11071.hs:22:12: error: [GHC-76037]
Not in scope: ‘M'.foobar’
- NB: neither ‘System.IO’,
- ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’.
+ Note: Neither ‘System.IO’,
+ ‘Data.IntMap’ nor ‘Data.Map’ export ‘foobar’.
T11071.hs:23:12: error: [GHC-76037]
Not in scope: ‘Data.List.sort’
@@ -57,3 +56,4 @@ T11071.hs:28:12: error: [GHC-76037]
Remove ‘size’ from the hiding clauses in one of these imports:
‘Data.IntMap’ (at T11071.hs:12:1-48)
‘Data.Map’ (at T11071.hs:10:1-53)
+
diff --git a/testsuite/tests/rename/should_fail/T19843k.stderr b/testsuite/tests/rename/should_fail/T19843k.stderr
index 266b45e2457d9f86f2f5ffd6601f5f9a533264de..f566bd9fc2b9401c7999cc93f51716fa890cb3ff 100644
--- a/testsuite/tests/rename/should_fail/T19843k.stderr
+++ b/testsuite/tests/rename/should_fail/T19843k.stderr
@@ -1,4 +1,4 @@
-
T19843k.hs:5:8: error: [GHC-76037]
Not in scope: ‘M.doesn'tExist’
- NB: the module ‘Data.Monoid’ does not export ‘doesn'tExist’.
+ Note: The module ‘Data.Monoid’ does not export ‘doesn'tExist’.
+
diff --git a/testsuite/tests/rename/should_fail/T21605a.stderr b/testsuite/tests/rename/should_fail/T21605a.stderr
index ce199cfb8f9ddb5f4c26a704918b62a319a4f558..7301a8fccae4f9c55892744cc60e7551b939d544 100644
--- a/testsuite/tests/rename/should_fail/T21605a.stderr
+++ b/testsuite/tests/rename/should_fail/T21605a.stderr
@@ -1,9 +1,9 @@
-
T21605a.hs:5:13: error: [GHC-76037]
Not in scope: ‘Prelude.true’
- NB: the module ‘Prelude’ does not export ‘true’.
+ Note: The module ‘Prelude’ does not export ‘true’.
Suggested fix:
Perhaps use one of these:
data constructor ‘Prelude.True’ (imported from Prelude),
type constructor or class ‘Prelude.Num’ (imported from Prelude),
type constructor or class ‘Prelude.Ord’ (imported from Prelude)
+
diff --git a/testsuite/tests/rename/should_fail/T21605b.stderr b/testsuite/tests/rename/should_fail/T21605b.stderr
index ebb74bad48b6fb3429ba7bfc87f3ddbb6a1bf5e4..ba7e1b9ff8a5422c3f958280070e6fc8b4d5c305 100644
--- a/testsuite/tests/rename/should_fail/T21605b.stderr
+++ b/testsuite/tests/rename/should_fail/T21605b.stderr
@@ -1,9 +1,9 @@
-
T21605b.hs:6:13: error: [GHC-76037]
Not in scope: ‘Prelude.true’
- NB: the module ‘Prelude’ does not export ‘true’.
+ Note: The module ‘Prelude’ does not export ‘true’.
Suggested fix:
Perhaps use one of these:
data constructor ‘Prelude.True’ (imported from Prelude),
type constructor or class ‘Prelude.Num’ (imported from Prelude),
type constructor or class ‘Prelude.Ord’ (imported from Prelude)
+
diff --git a/testsuite/tests/rename/should_fail/T2901.stderr b/testsuite/tests/rename/should_fail/T2901.stderr
index ba1bbcebc8983b144d2fe87ba351f95126c5f1ed..321de2fc3a7ea4878eb8fcd4ac75c081bb3668ee 100644
--- a/testsuite/tests/rename/should_fail/T2901.stderr
+++ b/testsuite/tests/rename/should_fail/T2901.stderr
@@ -1,4 +1,4 @@
-
T2901.hs:6:5: error: [GHC-76037]
Not in scope: data constructor ‘F.Foo’
- NB: no module named ‘F’ is imported.
+ Note: No module named ‘F’ is imported.
+
diff --git a/testsuite/tests/rename/should_fail/T5657.stderr b/testsuite/tests/rename/should_fail/T5657.stderr
index ee0ca60032aa1ba2431f8f54fb15519b697157e6..ec6620ae6b6dc047e82006c1b83b250ffcc4975a 100644
--- a/testsuite/tests/rename/should_fail/T5657.stderr
+++ b/testsuite/tests/rename/should_fail/T5657.stderr
@@ -1,7 +1,7 @@
-
T5657.hs:3:8: error: [GHC-76037]
Not in scope: ‘LT..’
- NB: no module named ‘LT’ is imported.
+ Note: No module named ‘LT’ is imported.
T5657.hs:3:8: error: [GHC-95880]
A section must be enclosed in parentheses thus: (LT.. GT)
+
diff --git a/testsuite/tests/rename/should_fail/rnfail055.stderr b/testsuite/tests/rename/should_fail/rnfail055.stderr
index 8d6a189dded626a4435bf6057da3a6c5305aabcb..99cc205a6aeac3984e77e6dca170d6684a1fd801 100644
--- a/testsuite/tests/rename/should_fail/rnfail055.stderr
+++ b/testsuite/tests/rename/should_fail/rnfail055.stderr
@@ -22,7 +22,7 @@ RnFail055.hs-boot:9:1: error: [GHC-15843]
Boot file: type S2 :: * -> * -> *
type S2 a b = forall b1. (a, b1)
The roles do not match.
- NB: roles on abstract types default to ‘representational’ in hs-boot files.
+ Note: Roles on abstract types default to ‘representational’ in hs-boot files.
• In the type synonym declaration for ‘S2’
RnFail055.hs-boot:13:1: error: [GHC-15843]
@@ -45,7 +45,7 @@ RnFail055.hs-boot:15:1: error: [GHC-15843]
type T2 :: * -> * -> *
data Eq a => T2 a b = T2 a
The roles do not match.
- NB: roles on abstract types default to ‘representational’ in hs-boot files.
+ Note: Roles on abstract types default to ‘representational’ in hs-boot files.
The datatype contexts do not match.
The constructors do not match: The types for ‘T2’ differ.
• In the data type declaration for ‘T2’
@@ -101,7 +101,7 @@ RnFail055.hs-boot:26:1: error: [GHC-15843]
Boot file: type T7 :: * -> *
data T7 a = forall b. T7 a
The roles do not match.
- NB: roles on abstract types default to ‘representational’ in hs-boot files.
+ Note: Roles on abstract types default to ‘representational’ in hs-boot files.
The constructors do not match: The types for ‘T7’ differ.
• In the data type declaration for ‘T7’
@@ -144,3 +144,4 @@ RnFail055.hs-boot:30:1: error: [GHC-15843]
class (Ord a, Eq a) => C3 a
The superclass constraints do not match.
• In the class declaration for ‘C3’
+
diff --git a/testsuite/tests/roles/should_fail/Roles12.stderr b/testsuite/tests/roles/should_fail/Roles12.stderr
index 1d0dc0ba7b68cade5c5a028ab4949c68fd37b470..20c27550afcdf4d861e5e0f08d0c4880ef885ac7 100644
--- a/testsuite/tests/roles/should_fail/Roles12.stderr
+++ b/testsuite/tests/roles/should_fail/Roles12.stderr
@@ -1,4 +1,3 @@
-
Roles12.hs:6:1: error: [GHC-15843]
• Type constructor ‘T’ has conflicting definitions in the module
and its hs-boot file.
@@ -8,5 +7,6 @@ Roles12.hs:6:1: error: [GHC-15843]
Boot file: type T :: * -> *
data T a
The roles do not match.
- NB: roles on abstract types default to ‘representational’ in hs-boot files.
+ Note: Roles on abstract types default to ‘representational’ in hs-boot files.
• In the data type declaration for ‘T’
+
diff --git a/testsuite/tests/roles/should_fail/T23252.stderr b/testsuite/tests/roles/should_fail/T23252.stderr
index 44bbcbd97c0341359a23499160040b18330225ac..b2e8f62e4479a361da84c4a5887039cfd4d57a9b 100644
--- a/testsuite/tests/roles/should_fail/T23252.stderr
+++ b/testsuite/tests/roles/should_fail/T23252.stderr
@@ -1,10 +1,9 @@
-
T23252.hs:11:1: error: [GHC-87279]
• The kind of ‘T2’ is ill-scoped
Inferred kind: T2 :: forall (d :: k).
forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->
SimilarKind a b -> *
- NB: Specified variables (namely: (d :: k)) always come first
+ Note: Specified variables (namely: (d :: k)) always come first.
Perhaps try this order instead:
k
(d :: k)
@@ -13,3 +12,4 @@ T23252.hs:11:1: error: [GHC-87279]
(b :: Proxy d)
(x :: SimilarKind a b)
• In the data type declaration for ‘T2’
+
diff --git a/testsuite/tests/roles/should_fail/T9204.stderr b/testsuite/tests/roles/should_fail/T9204.stderr
index 181529677f43e6a060122a670c4d9e1f13df017a..714f61e44609725915dec2e878d7589794dd2a49 100644
--- a/testsuite/tests/roles/should_fail/T9204.stderr
+++ b/testsuite/tests/roles/should_fail/T9204.stderr
@@ -1,4 +1,3 @@
-
T9204.hs:7:1: error: [GHC-15843]
• Type constructor ‘D’ has conflicting definitions in the module
and its hs-boot file.
@@ -8,5 +7,6 @@ T9204.hs:7:1: error: [GHC-15843]
Boot file: type D :: * -> *
data D a
The roles do not match.
- NB: roles on abstract types default to ‘representational’ in hs-boot files.
+ Note: Roles on abstract types default to ‘representational’ in hs-boot files.
• In the data type declaration for ‘D’
+
diff --git a/testsuite/tests/safeHaskell/ghci/p4.stderr b/testsuite/tests/safeHaskell/ghci/p4.stderr
index 3e9c555143de3e8fff9473ca6a41f35eb1c89640..b1b8e9b98f37c653e2e2bc082b8ea3c10bd0a564 100644
--- a/testsuite/tests/safeHaskell/ghci/p4.stderr
+++ b/testsuite/tests/safeHaskell/ghci/p4.stderr
@@ -1,9 +1,9 @@
-
<interactive>:6:9: error: [GHC-76037]
Not in scope: ‘System.IO.Unsafe.unsafePerformIO’
- NB: no module named ‘System.IO.Unsafe’ is imported.
+ Note: No module named ‘System.IO.Unsafe’ is imported.
<interactive>:7:9: error: [GHC-88464]
Variable not in scope: x :: IO b0 -> t
<interactive>:8:1: error: [GHC-88464] Variable not in scope: y
+
diff --git a/testsuite/tests/typecheck/bug1465/bug1465.stderr b/testsuite/tests/typecheck/bug1465/bug1465.stderr
index 28448db008249d7d2723f6a3300043e557983e5b..f6b56249cdc9b5d1b5da7d20dd59831ed5bd6bff 100644
--- a/testsuite/tests/typecheck/bug1465/bug1465.stderr
+++ b/testsuite/tests/typecheck/bug1465/bug1465.stderr
@@ -1,9 +1,9 @@
-
C.hs:6:11: error: [GHC-83865]
• Couldn't match expected type ‘bug1465-1.0:A.T’
with actual type ‘A.T’
- NB: ‘bug1465-1.0:A.T’ is defined in ‘A’ in package ‘bug1465-1.0’
- ‘A.T’ is defined in ‘A’ in package ‘bug1465-2.0’
+ Note: ‘bug1465-1.0:A.T’ is defined in ‘A’ in package ‘bug1465-1.0’
+ ‘A.T’ is defined in ‘A’ in package ‘bug1465-2.0’.
• In the expression: B2.f
In the expression: [B1.f, B2.f]
In an equation for ‘x’: x = [B1.f, B2.f]
+
diff --git a/testsuite/tests/typecheck/should_compile/T15368.stderr b/testsuite/tests/typecheck/should_compile/T15368.stderr
index 314297802897612622a25fafffef39f5a0197361..ea5607d01877cba815149122df8b386019281bd0 100644
--- a/testsuite/tests/typecheck/should_compile/T15368.stderr
+++ b/testsuite/tests/typecheck/should_compile/T15368.stderr
@@ -1,4 +1,3 @@
-
T15368.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: (F a b, F a0 b0)
Where: ‘a0’ is an ambiguous type variable
@@ -19,8 +18,8 @@ T15368.hs:11:30: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)]
with: F b a
Expected: (F a0 b0, F b a)
Actual: (F a0 b0, F b0 a0)
- NB: ‘F’ is a non-injective type family
- The type variables ‘b0’, ‘a0’ are ambiguous
+ Note: ‘F’ is a non-injective type family.
+ The type variables ‘b0’, ‘a0’ are ambiguous
• In the second argument of ‘transitive’, namely ‘trigger _ _’
In the expression: _ `transitive` trigger _ _
In an equation for ‘trigger’:
@@ -45,3 +44,4 @@ T15368.hs:11:40: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)]
In the expression: _ `transitive` trigger _ _
• Relevant bindings include
trigger :: a -> b -> (F a b, F b a) (bound at T15368.hs:11:1)
+
diff --git a/testsuite/tests/typecheck/should_compile/T23156.stderr b/testsuite/tests/typecheck/should_compile/T23156.stderr
index c72e97171b91f5de23268892375574302f404e0c..7eaf320683b2096d95968e476ef060aea09de708 100644
--- a/testsuite/tests/typecheck/should_compile/T23156.stderr
+++ b/testsuite/tests/typecheck/should_compile/T23156.stderr
@@ -1,11 +1,10 @@
-
T23156.hs:51:6: warning: [GHC-05617] [-Wdeferred-type-errors (in -Wdefault)]
• Could not deduce ‘BooleanOf2 (TensorOf2 1 r0) ~ BooleanOf2 r0’
from the context: ADReady r
bound by the type signature for:
f :: forall r. ADReady r => ()
at T23156.hs:51:6-33
- NB: ‘BooleanOf2’ is a non-injective type family
+ Note: ‘BooleanOf2’ is a non-injective type family.
The type variables ‘r0’, ‘r0’ are ambiguous
• In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
@@ -19,7 +18,8 @@ T23156.hs:56:5: warning: [GHC-18872] [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type: BooleanOf2 (TensorOf2 1 r0)
with: BooleanOf2 r0
arising from a use of ‘f’
- NB: ‘BooleanOf2’ is a non-injective type family
+ Note: ‘BooleanOf2’ is a non-injective type family.
The type variables ‘r0’, ‘r0’ are ambiguous
• In the expression: f
In an equation for ‘g’: g = f
+
diff --git a/testsuite/tests/typecheck/should_fail/T19627.stderr b/testsuite/tests/typecheck/should_fail/T19627.stderr
index af80fdc74dc74606028642b6b410e4dcccdbd931..7aebbb9cd81b05c12881dd9ceff5d75763fde435 100644
--- a/testsuite/tests/typecheck/should_fail/T19627.stderr
+++ b/testsuite/tests/typecheck/should_fail/T19627.stderr
@@ -1,4 +1,3 @@
-
T19627.hs:108:3: error: [GHC-05617]
• Could not deduce ‘Not (p0 a b) ~ Not (p a b)’
from the context: Lol p
@@ -9,8 +8,8 @@ T19627.hs:108:3: error: [GHC-05617]
at T19627.hs:108:3-34
Expected: Not (p a b) -> b <#- a
Actual: Not (p0 a b) -> b <#- a
- NB: ‘Not’ is a non-injective type family
- The type variable ‘p0’ is ambiguous
+ Note: ‘Not’ is a non-injective type family.
+ The type variable ‘p0’ is ambiguous
• In the ambiguity check for ‘apartR’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
@@ -35,7 +34,7 @@ T19627.hs:108:3: error: [GHC-05617]
at T19627.hs:108:3-34
or from: (Prop a1, Prop b1)
bound by a quantified context at T19627.hs:108:3-34
- The type variable ‘p0’ is ambiguous
+ The type variable ‘p0’ is ambiguous
• In the ambiguity check for ‘apartR’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
@@ -43,3 +42,4 @@ T19627.hs:108:3: error: [GHC-05617]
Lol p =>
Not (p a b) -> b <#- a
In the class declaration for ‘Lol’
+
diff --git a/testsuite/tests/typecheck/should_fail/T21158.stderr b/testsuite/tests/typecheck/should_fail/T21158.stderr
index fe5002d6c42dc939d5411cd2f6bb3d06e0f0814b..28d2e68f6a220c5621243d188c0b084d0dc86c19 100644
--- a/testsuite/tests/typecheck/should_fail/T21158.stderr
+++ b/testsuite/tests/typecheck/should_fail/T21158.stderr
@@ -1,11 +1,10 @@
-
T21158.hs:12:14: error: [GHC-83865]
• Couldn't match type: F b0
with: F b
Expected: [F b]
Actual: [F b0]
- NB: ‘F’ is a non-injective type family
- The type variable ‘b0’ is ambiguous
+ Note: ‘F’ is a non-injective type family.
+ The type variable ‘b0’ is ambiguous
• In a record update at field ‘x’,
with type constructor ‘T’
and data constructor ‘MkT’.
@@ -19,11 +18,12 @@ T21158.hs:15:49: error: [GHC-83865]
with: F b
Expected: [F b]
Actual: [F b1]
- NB: ‘F’ is a non-injective type family
- The type variable ‘b1’ is ambiguous
+ Note: ‘F’ is a non-injective type family.
+ The type variable ‘b1’ is ambiguous
• In the second argument of ‘MkT’, namely ‘y’
In the expression: MkT newx y
In a case alternative: MkT x y -> MkT newx y
• Relevant bindings include
y :: [F b1] (bound at T21158.hs:15:35)
foo2 :: [Int] -> T b (bound at T21158.hs:15:1)
+
diff --git a/testsuite/tests/typecheck/should_fail/T22560_fail_a.stderr b/testsuite/tests/typecheck/should_fail/T22560_fail_a.stderr
index 6bc23fec635fca3e3b4c4a9ebbb826c3ccf56c98..6d29fdd07e6871a625c27c74883c5da77ed1002e 100644
--- a/testsuite/tests/typecheck/should_fail/T22560_fail_a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T22560_fail_a.stderr
@@ -1,8 +1,8 @@
-
T22560_fail_a.hs:9:1: error: [GHC-57916]
• Invalid invisible type variable binder: @k
There is no matching forall-bound variable
in the standalone kind signature for ‘P’.
- NB. Only ‘forall a.’ -quantification matches invisible binders,
- whereas ‘forall {a}.’ and ‘forall a ->’ do not.
+ Note: Only ‘forall a.’ -quantification matches invisible binders,
+ whereas ‘forall {a}.’ and ‘forall a ->’ do not.
• In the data type declaration for ‘P’
+
diff --git a/testsuite/tests/typecheck/should_fail/T22560_fail_b.stderr b/testsuite/tests/typecheck/should_fail/T22560_fail_b.stderr
index b9a0eee4742fa026da14f1d3201bf3176adf2097..c77d4d3360ed5f432c4ab3b078bae4b2920c2ee1 100644
--- a/testsuite/tests/typecheck/should_fail/T22560_fail_b.stderr
+++ b/testsuite/tests/typecheck/should_fail/T22560_fail_b.stderr
@@ -1,8 +1,8 @@
-
T22560_fail_b.hs:8:1: error: [GHC-57916]
• Invalid invisible type variable binder: @a
There is no matching forall-bound variable
in the standalone kind signature for ‘P’.
- NB. Only ‘forall a.’ -quantification matches invisible binders,
- whereas ‘forall {a}.’ and ‘forall a ->’ do not.
+ Note: Only ‘forall a.’ -quantification matches invisible binders,
+ whereas ‘forall {a}.’ and ‘forall a ->’ do not.
• In the data type declaration for ‘P’
+
diff --git a/testsuite/tests/typecheck/should_fail/T8030.stderr b/testsuite/tests/typecheck/should_fail/T8030.stderr
index e3a3b6a40b5dafcf36a49b2c7a041098aa5ca6ce..65f1f4901fcb5cbe36bf2d89c4a20b25c0cd8ba3 100644
--- a/testsuite/tests/typecheck/should_fail/T8030.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8030.stderr
@@ -1,9 +1,8 @@
-
T8030.hs:9:3: error: [GHC-83865]
• Couldn't match expected type: Pr a
with actual type: Pr a0
- NB: ‘Pr’ is a non-injective type family
- The type variable ‘a0’ is ambiguous
+ Note: ‘Pr’ is a non-injective type family.
+ The type variable ‘a0’ is ambiguous
• In the ambiguity check for ‘op1’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
@@ -15,10 +14,11 @@ T8030.hs:10:3: error: [GHC-83865]
with: Pr a
Expected: Pr a -> Pr a -> Pr a
Actual: Pr a0 -> Pr a0 -> Pr a0
- NB: ‘Pr’ is a non-injective type family
- The type variable ‘a0’ is ambiguous
+ Note: ‘Pr’ is a non-injective type family.
+ The type variable ‘a0’ is ambiguous
• In the ambiguity check for ‘op2’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method:
op2 :: forall k (a :: k). C a => Pr a -> Pr a -> Pr a
In the class declaration for ‘C’
+
diff --git a/testsuite/tests/typecheck/should_fail/T8034.stderr b/testsuite/tests/typecheck/should_fail/T8034.stderr
index 04ba80c9adc5589da43646c8403a7d6e18493fd6..2af8088e566fe53d4a239b494a0e6e825a674a19 100644
--- a/testsuite/tests/typecheck/should_fail/T8034.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8034.stderr
@@ -1,12 +1,12 @@
-
T8034.hs:7:3: error: [GHC-83865]
• Couldn't match type: F a0
with: F a
Expected: F a -> F a
Actual: F a0 -> F a0
- NB: ‘F’ is a non-injective type family
- The type variable ‘a0’ is ambiguous
+ Note: ‘F’ is a non-injective type family.
+ The type variable ‘a0’ is ambiguous
• In the ambiguity check for ‘foo’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
When checking the class method: foo :: forall a. C a => F a -> F a
In the class declaration for ‘C’
+
diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr
index 593c164b5819939863c23f6675f7c8c29e34cdfd..d1bfbf02ab5504c19796dce1d07cc7a473489d07 100644
--- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr
+++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.stderr
@@ -1,4 +1,3 @@
-
TcCoercibleFail.hs:11:8: error: [GHC-18872]
• Couldn't match representation of type ‘Int’ with that of ‘()’
arising from a use of ‘coerce’
@@ -10,8 +9,8 @@ TcCoercibleFail.hs:14:8: error: [GHC-18872]
• Couldn't match representation of type: m Int
with that of: m Age
arising from a use of ‘coerce’
- NB: We cannot know what roles the parameters to ‘m’ have;
- we must assume that the role is nominal
+ Note: We cannot know what roles the parameters to ‘m’ have;
+ we must assume that the role is nominal.
• In the first argument of ‘($)’, namely ‘coerce’
In the expression: coerce $ (return one :: m Int)
In an equation for ‘foo2’: foo2 = coerce $ (return one :: m Int)
@@ -67,3 +66,4 @@ TcCoercibleFail.hs:36:8: error: [GHC-18872]
arising from a use of ‘coerce’
• In the expression: coerce :: Fix (Either Int) -> ()
In an equation for ‘foo7’: foo7 = coerce :: Fix (Either Int) -> ()
+
diff --git a/testsuite/tests/typecheck/should_fail/tcfail182.stderr b/testsuite/tests/typecheck/should_fail/tcfail182.stderr
index 3fed7c733e9ec7e779e8706351894843f24636fd..d8b55158601171cb2669adde53eb5694522056da 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail182.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail182.stderr
@@ -1,12 +1,12 @@
-
tcfail182.hs:9:3: error: [GHC-83865]
• Couldn't match expected type: Prelude.Maybe a
with actual type: Maybe a0
- NB: ‘Prelude.Maybe’
- is defined in ‘GHC.Internal.Maybe’
- in package ‘ghc-internal-0.1.0.0’
- ‘Maybe’ is defined at tcfail182.hs:6:1-18
+ Note: ‘Prelude.Maybe’
+ is defined in ‘GHC.Internal.Maybe’
+ in package ‘ghc-internal-9.1001.0’
+ ‘Maybe’ is defined at tcfail182.hs:6:1-18.
• In the pattern: Foo
In an equation for ‘f’: f Foo = 3
• Relevant bindings include
f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)
+
diff --git a/testsuite/tests/warnings/should_compile/T18862b.stderr b/testsuite/tests/warnings/should_compile/T18862b.stderr
index 9ef46e6edc978864f90db77cae8a2e973803e8d5..bd437eb272aed845fa91e931d6849cd8ba04a19b 100644
--- a/testsuite/tests/warnings/should_compile/T18862b.stderr
+++ b/testsuite/tests/warnings/should_compile/T18862b.stderr
@@ -1,8 +1,8 @@
-
T18862b.hs:7:9: warning: [GHC-12003] [-Wtype-equality-out-of-scope (in -Wdefault)]
• The ‘~’ operator is out of scope.
Assuming it to stand for an equality constraint.
- • NB: ‘~’ used to be built-in syntax but now is a regular type operator
- exported from Data.Type.Equality and Prelude.
- If you are using a custom Prelude, consider re-exporting it.
+ • Note: ‘~’ used to be built-in syntax but now is a regular type operator
+ exported from Data.Type.Equality and Prelude.
+ If you are using a custom Prelude, consider re-exporting it.
• This will become an error in a future GHC release.
+