Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T4921.stderr
1
2 T4921.hs:10:9: error:
3     • Ambiguous type variables ‘a0’, ‘b1’ arising from a use of ‘f’
4       prevents the constraint ‘(C a0 b1)’ from being solved.
5       Relevant bindings include x :: a0 (bound at T4921.hs:10:1)
6       Probable fix: use a type annotation to specify what ‘a0’, ‘b1’ should be.
7       These potential instance exist:
8         instance C Int Char -- Defined at T4921.hs:7:10
9     • In the first argument of ‘fst’, namely ‘f’
10       In the expression: fst f
11       In an equation for ‘x’: x = fst f
12
13 T4921.hs:12:9: error:
14     • Ambiguous type variable ‘b0’ arising from a use of ‘f’
15       prevents the constraint ‘(C Int b0)’ from being solved.
16       Probable fix: use a type annotation to specify what ‘b0’ should be.
17       These potential instance exist:
18         instance C Int Char -- Defined at T4921.hs:7:10
19     • In the first argument of ‘fst’, namely ‘f’
20       In the expression: fst f :: Int
21       In an equation for ‘y’: y = fst f :: Int