Check that a default type signature aligns with the non-default signature
[ghc.git] / testsuite / tests / typecheck / should_fail / T12918b.stderr
1
2 T12918b.hs:8:11: error:
3     • The default type signature for bar1: forall b. b -> a
4       does not match its corresponding non-default type signature
5     • When checking the class method:
6         bar1 :: forall a. Foo1 a => forall b. a -> b
7       In the class declaration for ‘Foo1’
8
9 T12918b.hs:12:11: error:
10     • The default type signature for bar2: forall x. x
11       does not match its corresponding non-default type signature
12     • When checking the class method:
13         bar2 :: forall a. Foo1 a => forall b. a -> b
14       In the class declaration for ‘Foo1’
15
16 T12918b.hs:12:11: error:
17     • Could not deduce (Foo1 a0)
18       from the context: Foo1 a
19         bound by the type signature for:
20                    bar2 :: Foo1 a => x
21         at T12918b.hs:12:11-14
22       The type variable ‘a0’ is ambiguous
23     • In the ambiguity check for ‘bar2’
24       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
25       When checking the class method:
26         bar2 :: forall a. Foo1 a => forall b. a -> b
27       In the class declaration for ‘Foo1’
28
29 T12918b.hs:16:11: error:
30     • The default type signature for bar3: a -> Int
31       does not match its corresponding non-default type signature
32     • When checking the class method:
33         bar3 :: forall a. Foo1 a => forall b. a -> b
34       In the class declaration for ‘Foo1’
35
36 T12918b.hs:20:11: error:
37     • The default type signature for bar4: forall b. a -> b
38       does not match its corresponding non-default type signature
39     • When checking the class method:
40         bar4 :: forall a. Foo1 a => a -> Int
41       In the class declaration for ‘Foo1’