Remove knot-tying bug in TcHsSyn.zonkTyVarOcc
[ghc.git] / testsuite / tests / ado / T13242a.stderr
1
2 T13242a.hs:10:5: error:
3     • Couldn't match expected type ‘a0’ with actual type ‘a’
4       ‘a’ is a rigid type variable bound by
5         a pattern with constructor: A :: forall a. Eq a => a -> T,
6         in a pattern binding in
7              a 'do' block
8         at T13242a.hs:10:3-5
9     • In the expression:
10         do A x <- undefined
11            _ <- return 'a'
12            _ <- return 'b'
13            return (x == x)
14       In an equation for ‘test’:
15           test
16             = do A x <- undefined
17                  _ <- return 'a'
18                  _ <- return 'b'
19                  return (x == x)
20     • Relevant bindings include x :: a (bound at T13242a.hs:10:5)
21
22 T13242a.hs:13:11: error:
23     • Ambiguous type variable ‘a0’ arising from a use of ‘==’
24       prevents the constraint ‘(Eq a0)’ from being solved.
25       Relevant bindings include x :: a0 (bound at T13242a.hs:10:5)
26       Probable fix: use a type annotation to specify what ‘a0’ should be.
27       These potential instances exist:
28         instance Eq Ordering -- Defined in ‘GHC.Classes’
29         instance Eq Integer
30           -- Defined in ‘integer-gmp-1.0.2.0:GHC.Integer.Type’
31         instance Eq () -- Defined in ‘GHC.Classes’
32         ...plus 21 others
33         ...plus six instances involving out-of-scope types
34         (use -fprint-potential-instances to see them all)
35     • In a stmt of a 'do' block: return (x == x)
36       In the expression:
37         do A x <- undefined
38            _ <- return 'a'
39            _ <- return 'b'
40            return (x == x)
41       In an equation for ‘test’:
42           test
43             = do A x <- undefined
44                  _ <- return 'a'
45                  _ <- return 'b'
46                  return (x == x)