diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-03 15:58:13 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-04 15:37:58 +0100 |
commit | 37ef7031b95c97e7c8bc1d14bc95554a3bac2873 (patch) | |
tree | 62d7205455558129b826ce9d252b07406b2114ec /testsuite | |
parent | 9ebfa03d9e9cbf79f698b5d4bd39e799e4e9a02c (diff) | |
download | haskell-37ef7031b95c97e7c8bc1d14bc95554a3bac2873.tar.gz |
Better pretty-printing of forall types
Currently forall-types with a lot of type variables,
or type variables with big kinds, are pretty-printed too
horizontally, and dribble off to the right in an illegible
way.
This patch treats the type variables as a group, and uses
'fsep' to lay them out decently.
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/ghci/scripts/T12550.stdout | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/ghci/scripts/T12550.stdout b/testsuite/tests/ghci/scripts/T12550.stdout index 0955db3787..c7173fc426 100644 --- a/testsuite/tests/ghci/scripts/T12550.stdout +++ b/testsuite/tests/ghci/scripts/T12550.stdout @@ -57,8 +57,8 @@ datatypeName Datatype d ⇒ t d f a → [Char] class Datatype (d ∷ k) where - datatypeName ∷ ∀ k1 (t ∷ k → (k1 → ★) → k1 → ★) (f ∷ k1 - → ★) (a ∷ k1). + datatypeName ∷ ∀ k1 (t ∷ k → (k1 → ★) → k1 → ★) (f ∷ k1 → ★) + (a ∷ k1). t d f a → [Char] ... -- Defined in ‘GHC.Generics’ |