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 | |
| 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')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T11524a.stdout | 31 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T14394.stdout | 7 |
2 files changed, 24 insertions, 14 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 diff --git a/testsuite/tests/patsyn/should_compile/T14394.stdout b/testsuite/tests/patsyn/should_compile/T14394.stdout index 2dc3415d1b..6495f9ee35 100644 --- a/testsuite/tests/patsyn/should_compile/T14394.stdout +++ b/testsuite/tests/patsyn/should_compile/T14394.stdout @@ -1,7 +1,10 @@ pattern Foo :: () => (b ~ a) => a :~~: b -- Defined at <interactive>:5:1 -pattern Bar :: forall k2 k1 (a :: k1) (b :: k2). () => (k2 ~ k1, - (b :: k2) ~~ (a :: k1)) => a :~~: b +pattern Bar + :: forall k2 k1 (a :: k1) (b :: k2). + () => + (k2 ~ k1, (b :: k2) ~~ (a :: k1)) => + a :~~: b -- Defined at <interactive>:11:1 pattern Bam :: () => Ord a => a -> a -> (S a, S a) -- Defined at <interactive>:21:1 |