blob: 251e233406a20d5db681256949745e4fe67e9c05 (
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
|
T7734.hs:4:13: error: [GHC-25897]
• Couldn't match expected type ‘t1’ with actual type ‘t1 -> t2’
‘t1’ is a rigid type variable bound by
the inferred type of f :: (t1 -> t2) -> p -> t2
at T7734.hs:4:1-13
• In the first argument of ‘x’, namely ‘x’
In the expression: x x
In an equation for ‘f’: x `f` y = x x
• Relevant bindings include
x :: t1 -> t2 (bound at T7734.hs:4:1)
f :: (t1 -> t2) -> p -> t2 (bound at T7734.hs:4:3)
T7734.hs:5:13: error: [GHC-25897]
• Couldn't match expected type ‘t1’ with actual type ‘t1 -> t2’
‘t1’ is a rigid type variable bound by
the inferred type of & :: (t1 -> t2) -> p -> t2
at T7734.hs:5:1-13
• In the first argument of ‘x’, namely ‘x’
In the expression: x x
In an equation for ‘&’: (&) x y = x x
• Relevant bindings include
x :: t1 -> t2 (bound at T7734.hs:5:5)
(&) :: (t1 -> t2) -> p -> t2 (bound at T7734.hs:5:1)
|
