blob: 7ebf51de6f516cbf3f897cfaf20c2832d989a27a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T18467.hs:9:7: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Int’ with actual type ‘Float’
• In the expression: x :: Int
In an equation for ‘g’: g z = x :: Int
T18467.hs:12:29: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘[a1]’ with actual type ‘a1’
‘a1’ is a rigid type variable bound by
the inferred type of t :: a1 -> (a, [a1])
at T18467.hs:12:11-30
• In the second argument of ‘(:)’, namely ‘y’
In the expression: y : y
In the expression: (v, y : y)
• Relevant bindings include
y :: a1 (bound at T18467.hs:12:16)
t :: a1 -> (a, [a1]) (bound at T18467.hs:12:11)
|
