blob: 7f22dd663a0545a1b64b4cc3aac8a6fd1e43d929 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
TYPE SIGNATURES
somethingShowable :: Show Bool => Bool -> String
Dependent modules: []
Dependent packages: [base-4.13.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
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
|
