summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T5358.stderr
blob: 01f1ffa6086f0f01222a6ed4fa97a63a4be4dbbd (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

T5358.hs:7:1:
    Couldn't match expected type `t1 -> t1' with actual type `Int'
    The equation(s) for `t1' have one argument,
    but its type `Int' has none

T5358.hs:8:1:
    Couldn't match expected type `t0 -> t0' with actual type `Int'
    The equation(s) for `t2' have one argument,
    but its type `Int' has none

T5358.hs:10:13:
    Couldn't match expected type `t0 -> a0' with actual type `Int'
    The function `t1' is applied to one argument,
    but its type `Int' has none
    In the first argument of `(==)', namely `t1 x'
    In the expression: t1 x == t2 x

T5358.hs:10:21:
    Couldn't match expected type `t0 -> a0' with actual type `Int'
    The function `t2' is applied to one argument,
    but its type `Int' has none
    In the second argument of `(==)', namely `t2 x'
    In the expression: t1 x == t2 x