blob: a06ab5eb6ca38c6e54283a6acaab95d9807b8591 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
PluralS.hs:15:17: warning: [-Wtype-defaults (in -Wall)]
• Defaulting the following constraint to type ‘Integer’
Num t0 arising from the literal ‘123’
• In the first argument of ‘seq’, namely ‘123’
In the expression: 123 `seq` ()
In an equation for ‘defaultingNum’: defaultingNum = 123 `seq` ()
PluralS.hs:17:29: warning: [-Wtype-defaults (in -Wall)]
• Defaulting the following constraints to type ‘Integer’
(Num a0) arising from the literal ‘123’ at PluralS.hs:17:29-31
(Show a0) arising from a use of ‘show’ at PluralS.hs:17:24-31
• In the first argument of ‘show’, namely ‘123’
In the expression: show 123
In an equation for ‘defaultingNumAndShow’:
defaultingNumAndShow = show 123
PluralS.hs:23:1: warning:
• Redundant constraint: Num a
• In the type signature for:
redundantNum :: (Num a, Num a) => a
PluralS.hs:26:1: warning:
• Redundant constraints: (Show a, Num a, Eq a, Eq a)
• In the type signature for:
redundantMultiple :: (Num a, Show a, Num a, Eq a, Eq a) => a
|
