summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7734.stderr
blob: bf199cb4c21fa156f4528025b0b875ea5775cf3c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

T7734.hs:4:13: error:
    • Couldn't match expected type ‘t’ with actual type ‘t -> t1’
    • 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 :: t -> t1 (bound at T7734.hs:4:1)
        f :: (t -> t1) -> p -> t1 (bound at T7734.hs:4:3)

T7734.hs:5:13: error:
    • Couldn't match expected type ‘t’ with actual type ‘t -> t1’
    • 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 :: t -> t1 (bound at T7734.hs:5:5)
        (&) :: (t -> t1) -> p -> t1 (bound at T7734.hs:5:1)