A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_compile / T12427a.stderr
1
2 T12427a.hs:17:29: error:
3     • Couldn't match expected type ‘p’
4                   with actual type ‘(forall b. [b] -> [b]) -> Int’
5         ‘p’ is untouchable
6           inside the constraints: ()
7           bound by a pattern with constructor:
8                      T1 :: forall a. a -> ((forall b. [b] -> [b]) -> Int) -> T,
9                    in a case alternative
10           at T12427a.hs:17:19-24
11       ‘p’ is a rigid type variable bound by
12         the inferred type of h11 :: T -> p at T12427a.hs:17:1-29
13       Possible fix: add a type signature for ‘h11’
14     • In the expression: v
15       In a case alternative: T1 _ v -> v
16       In the expression: case y of { T1 _ v -> v }
17     • Relevant bindings include
18         h11 :: T -> p (bound at T12427a.hs:17:1)
19
20 T12427a.hs:28:6: error:
21     • Couldn't match expected type ‘p’
22                   with actual type ‘(forall b. [b] -> [b]) -> Int’
23         ‘p’ is untouchable
24           inside the constraints: ()
25           bound by a pattern with constructor:
26                      T1 :: forall a. a -> ((forall b. [b] -> [b]) -> Int) -> T,
27                    in a pattern binding
28           at T12427a.hs:28:1-7
29       ‘p’ is a rigid type variable bound by
30         the inferred type of x1 :: p at T12427a.hs:28:1-19
31       Possible fix: add a type signature for ‘x1’
32     • In the pattern: T1 _ x1
33       In a pattern binding: T1 _ x1 = undefined