dca7dbd3b6a79f0a363ddf75d9c888c7ad3a0d64
[ghc.git] / testsuite / tests / ghci / scripts / T11524a.stdout
1 without -fprint-explicit-foralls
2 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3 pattern P :: Bool       -- Defined at <interactive>:16:1
4 pattern Pe :: a -> Ex   -- Defined at <interactive>:17:1
5 pattern Pu :: t -> t    -- Defined at <interactive>:18:1
6 pattern Pue :: t -> a -> (t, Ex)        -- Defined at <interactive>:19:1
7 pattern Pur :: (Num a, Eq a) => a -> [a]
8         -- Defined at <interactive>:20:1
9 pattern Purp :: (Num a, Eq a) => Show t => a
10                                            -> t -> ([a], UnivProv t)
11         -- Defined at <interactive>:21:1
12 pattern Pure :: (Num a, Eq a) => a -> a1 -> ([a], Ex)
13         -- Defined at <interactive>:22:1
14 pattern Purep :: (Num a, Eq a) => Show a1 => a
15                                              -> a1 -> ([a], ExProv)
16         -- Defined at <interactive>:23:1
17 pattern Pep :: () => Show a => a -> ExProv
18         -- Defined at <interactive>:24:1
19 pattern Pup :: () => Show t => t -> UnivProv t
20         -- Defined at <interactive>:25:1
21 pattern Puep :: () => Show a => a -> t -> (ExProv, t)
22         -- Defined at <interactive>:26:1
23
24 with -fprint-explicit-foralls
25 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
26 pattern P :: Bool       -- Defined at <interactive>:16:1
27 pattern Pe :: () => forall a. a -> Ex
28         -- Defined at <interactive>:17:1
29 pattern Pu :: forall t. t -> t  -- Defined at <interactive>:18:1
30 pattern Pue :: forall t. () => forall a. t -> a -> (t, Ex)
31         -- Defined at <interactive>:19:1
32 pattern Pur :: forall a. (Num a, Eq a) => a -> [a]
33         -- Defined at <interactive>:20:1
34 pattern Purp :: forall a t. (Num a, Eq a) => Show t => a
35                                                        -> t -> ([a], UnivProv t)
36         -- Defined at <interactive>:21:1
37 pattern Pure :: forall a. (Num a, Eq a) => forall a1. a
38                                                       -> a1 -> ([a], Ex)
39         -- Defined at <interactive>:22:1
40 pattern Purep :: forall a. (Num a, Eq a) => forall a1. Show a1 => a
41                                                                   -> a1 -> ([a], ExProv)
42         -- Defined at <interactive>:23:1
43 pattern Pep :: () => forall a. Show a => a -> ExProv
44         -- Defined at <interactive>:24:1
45 pattern Pup :: forall t. () => Show t => t -> UnivProv t
46         -- Defined at <interactive>:25:1
47 pattern Puep :: forall t. () => forall a. Show a => a
48                                                     -> t -> (ExProv, t)
49         -- Defined at <interactive>:26:1