Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail104.stderr
1
2 tcfail104.hs:14:12: error:
3     • Couldn't match type ‘forall a. a -> a’ with ‘Char -> Char’
4       Expected type: (Char -> Char) -> Char -> Char
5         Actual type: (forall a. a -> a) -> Char -> Char
6     • In the expression: (\ (x :: forall a. a -> a) -> x)
7       In the expression:
8         if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)
9       In the expression:
10         (if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
11
12 tcfail104.hs:22:15: error:
13     • Couldn't match expected type ‘Char -> Char’
14                   with actual type ‘forall a. a -> a’
15     • When checking that the pattern signature: forall a. a -> a
16         fits the type of its context: Char -> Char
17       In the pattern: x :: forall a. a -> a
18       In the expression: (\ (x :: forall a. a -> a) -> x)