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/patsyn | |
| 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/patsyn')
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T14394.stdout | 7 |
1 files changed, 5 insertions, 2 deletions
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 |