Add 'addWordC#' PrimOp
[ghc.git] / testsuite / tests / partial-sigs / should_compile / SomethingShowable.stderr
1 TYPE SIGNATURES
2   somethingShowable :: Show Bool => Bool -> String
3 TYPE CONSTRUCTORS
4 COERCION AXIOMS
5 Dependent modules: []
6 Dependent packages: [base-4.12.0.0, ghc-prim-0.5.2.1,
7                      integer-gmp-1.0.2.0]
8
9 SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
10     • The constraint ‘Show Bool’ matches an instance declaration
11       instance Show Bool -- Defined in ‘GHC.Show’
12       This makes type inference for inner bindings fragile;
13         either use MonoLocalBinds, or simplify it using the instance
14     • When checking the inferred type
15         somethingShowable :: Show Bool => Bool -> String