summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail104.stderr
blob: cb14d9af267b2aee2f3648c9e1c5ce09aae9db82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

tcfail104.hs:16:19:
    Couldn't match expected type ‘Char -> Char’
                with actual type ‘forall a. a -> a’
    In the expression: x
    In the expression: (\ x -> x)

tcfail104.hs:22:39:
    Couldn't match expected type ‘forall a. a -> a’
                with actual type ‘a0 -> a0’
    In the expression: x
    In the expression: (\ (x :: forall a. a -> a) -> x)