A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / patsyn / should_compile / T11213.stderr
1
2 T11213.hs:19:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
3     Pattern synonym with no type signature: pattern P :: Bool
4
5 T11213.hs:20:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
6     Pattern synonym with no type signature:
7       pattern Pe :: () => forall a. a -> Ex
8
9 T11213.hs:21:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
10     Pattern synonym with no type signature:
11       pattern Pu :: forall p. p -> p
12
13 T11213.hs:22:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
14     Pattern synonym with no type signature:
15       pattern Pue :: forall a. () => forall a1. a -> a1 -> (a, Ex)
16
17 T11213.hs:23:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
18     Pattern synonym with no type signature:
19       pattern Pur :: forall a. (Num a, Eq a) => a -> [a]
20
21 T11213.hs:24:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
22     Pattern synonym with no type signature:
23       pattern Purp :: forall a a1.
24                       (Num a1, Eq a1) =>
25                       Show a => a1 -> a -> ([a1], UnivProv a)
26
27 T11213.hs:25:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
28     Pattern synonym with no type signature:
29       pattern Pure :: forall a.
30                       (Num a, Eq a) =>
31                       forall a1. a -> a1 -> ([a], Ex)
32
33 T11213.hs:26:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
34     Pattern synonym with no type signature:
35       pattern Purep :: forall a.
36                        (Num a, Eq a) =>
37                        forall a1. Show a1 => a -> a1 -> ([a], ExProv)
38
39 T11213.hs:27:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
40     Pattern synonym with no type signature:
41       pattern Pep :: () => forall a. Show a => a -> ExProv
42
43 T11213.hs:28:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
44     Pattern synonym with no type signature:
45       pattern Pup :: forall a. () => Show a => a -> UnivProv a
46
47 T11213.hs:29:1: warning: [-Wmissing-pattern-synonym-signatures (in -Wall)]
48     Pattern synonym with no type signature:
49       pattern Puep :: forall b.
50                       () =>
51                       forall a. Show a => a -> b -> (ExProv, b)