summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
blob: 4b72ec45208942b1850690fe7854b66198230ff9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
TYPE SIGNATURES
  somethingShowable :: Show Bool => Bool -> String
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
                     integer-gmp-1.0.2.0]

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
    • When checking the inferred type
        somethingShowable :: Show Bool => Bool -> String