diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-05 09:11:32 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-01-05 09:11:32 +0000 |
| commit | c73271163a3a025f0d1d49bcd6fa7763892dfb48 (patch) | |
| tree | 22567f6410f79fa68a08d29b5ae3e27cf536fb01 /testsuite/tests/ghci/scripts/T11524a.stdout | |
| parent | 307d1dfe1d705379eafad6dba65e651ae3465cda (diff) | |
| download | haskell-c73271163a3a025f0d1d49bcd6fa7763892dfb48.tar.gz | |
Improve pretty-printing for pattern synonyms
Just better layout in output for the user
Diffstat (limited to 'testsuite/tests/ghci/scripts/T11524a.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T11524a.stdout | 31 |
1 files changed, 19 insertions, 12 deletions
diff --git a/testsuite/tests/ghci/scripts/T11524a.stdout b/testsuite/tests/ghci/scripts/T11524a.stdout index d1ab96eb86..ea91ef9cd1 100644 --- a/testsuite/tests/ghci/scripts/T11524a.stdout +++ b/testsuite/tests/ghci/scripts/T11524a.stdout @@ -6,13 +6,13 @@ pattern Pu :: p -> p -- Defined at <interactive>:18:1 pattern Pue :: a -> a1 -> (a, Ex) -- Defined at <interactive>:19:1 pattern Pur :: (Eq a, Num a) => a -> [a] -- Defined at <interactive>:20:1 -pattern Purp :: (Eq a, Num a) => Show a1 => a - -> a1 -> ([a], UnivProv a1) +pattern Purp + :: (Eq a, Num a) => Show a1 => a -> a1 -> ([a], UnivProv a1) -- Defined at <interactive>:21:1 pattern Pure :: (Eq a, Num a) => a -> a1 -> ([a], Ex) -- Defined at <interactive>:22:1 -pattern Purep :: (Eq a, Num a) => Show a1 => a - -> a1 -> ([a], ExProv) +pattern Purep + :: (Eq a, Num a) => Show a1 => a -> a1 -> ([a], ExProv) -- Defined at <interactive>:23:1 pattern Pep :: () => Show a => a -> ExProv -- Defined at <interactive>:24:1 @@ -31,19 +31,26 @@ pattern Pue :: forall {a}. () => forall {a1}. a -> a1 -> (a, Ex) -- Defined at <interactive>:19:1 pattern Pur :: forall {a}. (Eq a, Num a) => a -> [a] -- Defined at <interactive>:20:1 -pattern Purp :: forall {a} {a1}. (Eq a, Num a) => Show a1 => a - -> a1 -> ([a], UnivProv a1) +pattern Purp + :: forall {a} {a1}. + (Eq a, Num a) => + Show a1 => + a -> a1 -> ([a], UnivProv a1) -- Defined at <interactive>:21:1 -pattern Pure :: forall {a}. (Eq a, Num a) => forall {a1}. a - -> a1 -> ([a], Ex) +pattern Pure + :: forall {a}. (Eq a, Num a) => forall {a1}. a -> a1 -> ([a], Ex) -- Defined at <interactive>:22:1 -pattern Purep :: forall {a}. (Eq a, Num a) => forall {a1}. Show - a1 => a -> a1 -> ([a], ExProv) +pattern Purep + :: forall {a}. + (Eq a, Num a) => + forall {a1}. + Show a1 => + a -> a1 -> ([a], ExProv) -- Defined at <interactive>:23:1 pattern Pep :: () => forall {a}. Show a => a -> ExProv -- Defined at <interactive>:24:1 pattern Pup :: forall {a}. () => Show a => a -> UnivProv a -- Defined at <interactive>:25:1 -pattern Puep :: forall {b}. () => forall {a}. Show a => a - -> b -> (ExProv, b) +pattern Puep + :: forall {b}. () => forall {a}. Show a => a -> b -> (ExProv, b) -- Defined at <interactive>:26:1 |