Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T4921.stderr
1
2 T4921.hs:10:9: error:
3     Ambiguous type variables ‘b1’, ‘a0’ 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 ‘b1’, ‘a0’ 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