summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2018-10-03 15:58:13 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2018-10-04 15:37:58 +0100
commit37ef7031b95c97e7c8bc1d14bc95554a3bac2873 (patch)
tree62d7205455558129b826ce9d252b07406b2114ec /testsuite
parent9ebfa03d9e9cbf79f698b5d4bd39e799e4e9a02c (diff)
downloadhaskell-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.stdout4
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’