summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs')
-rw-r--r--testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr10
1 files changed, 6 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr b/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
index 9f0ea1fb72..ca06301eb5 100644
--- a/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
+++ b/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
@@ -7,7 +7,9 @@ Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.1]
SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
- The constraint ‘Show Bool’ matches an instance declaration
- instance Show Bool -- Defined in ‘GHC.Show’
- This makes type inference for inner bindings fragile;
- either use MonoLocalBinds, or simplify it using the instance
+ • The constraint ‘Show Bool’ matches an instance declaration
+ instance Show Bool -- Defined in ‘GHC.Show’
+ This makes type inference for inner bindings fragile;
+ either use MonoLocalBinds, or simplify it using the instance
+ • When checking the inferred type
+ somethingShowable :: Show Bool => Bool -> String