testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_fail / ClassOperator.stderr
1
2 ClassOperator.hs:14:3: error:
3     • Could not deduce (a ><> b0)
4       from the context: a ><> b
5         bound by the type signature for:
6                    (**>) :: forall a b. (a ><> b) => a -> a -> ()
7         at ClassOperator.hs:14:3-44
8       The type variable ‘b0’ is ambiguous
9     • In the ambiguity check for ‘**>’
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       When checking the class method:
12         (**>) :: forall a b. (a ><> b) => a -> a -> ()
13       In the class declaration for ‘><>’
14
15 ClassOperator.hs:14:3: error:
16     • Could not deduce (a ><> b0)
17       from the context: a ><> b
18         bound by the type signature for:
19                    (**<) :: forall a b. (a ><> b) => a -> a -> ()
20         at ClassOperator.hs:14:3-44
21       The type variable ‘b0’ is ambiguous
22     • In the ambiguity check for ‘**<’
23       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
24       When checking the class method:
25         (**<) :: forall a b. (a ><> b) => a -> a -> ()
26       In the class declaration for ‘><>’
27
28 ClassOperator.hs:14:3: error:
29     • Could not deduce (a ><> b0)
30       from the context: a ><> b
31         bound by the type signature for:
32                    (>**) :: forall a b. (a ><> b) => a -> a -> ()
33         at ClassOperator.hs:14:3-44
34       The type variable ‘b0’ is ambiguous
35     • In the ambiguity check for ‘>**’
36       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
37       When checking the class method:
38         (>**) :: forall a b. (a ><> b) => a -> a -> ()
39       In the class declaration for ‘><>’
40
41 ClassOperator.hs:14:3: error:
42     • Could not deduce (a ><> b0)
43       from the context: a ><> b
44         bound by the type signature for:
45                    (<**) :: forall a b. (a ><> b) => a -> a -> ()
46         at ClassOperator.hs:14:3-44
47       The type variable ‘b0’ is ambiguous
48     • In the ambiguity check for ‘<**’
49       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
50       When checking the class method:
51         (<**) :: forall a b. (a ><> b) => a -> a -> ()
52       In the class declaration for ‘><>’