SomethingShowable.stderr 656 Bytes
Newer Older
thomasw's avatar
thomasw committed
1
TYPE SIGNATURES
2
  somethingShowable :: Show Bool => Bool -> String
thomasw's avatar
thomasw committed
3 4 5
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
6
Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
Ben Gamari's avatar
Ben Gamari committed
7
                     integer-gmp-1.0.1.0]
8

9
SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
10 11 12 13 14 15
    • 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