T5358.stderr 435 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

T5358.hs:7:1:
    The equation(s) for `t1' have one argument,
    but its type `Int' has none

T5358.hs:8:1:
    The equation(s) for `t2' have one argument,
    but its type `Int' has none

T5358.hs:10:13:
    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
    In an equation for `prop_x1': prop_x1 x = t1 x == t2 x