diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-04-28 14:49:21 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-04-28 14:49:41 +0100 |
| commit | 2f3ea95285d0cccc2a999e7572d8fb78dc2ea441 (patch) | |
| tree | e76eb811ed1a44bfc7d1db9bbae79da34b3594f5 /testsuite/tests/ghci/scripts/T7873.stdout | |
| parent | 7b967afa502d9550f4e6c4b5ec5dbd9d93e72947 (diff) | |
| download | haskell-2f3ea95285d0cccc2a999e7572d8fb78dc2ea441.tar.gz | |
Print for-alls more often (Trac #9018)
We now display the foralls of a type if any of the type variables
is polykinded. This put kind polymorphism "in your face" a bit more
often, but eliminates a lot of head scratching.
The user manual reflects the new behaviour.
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7873.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7873.stdout | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/ghci/scripts/T7873.stdout b/testsuite/tests/ghci/scripts/T7873.stdout index 0167fb2eba..6f9f55a8af 100644 --- a/testsuite/tests/ghci/scripts/T7873.stdout +++ b/testsuite/tests/ghci/scripts/T7873.stdout @@ -1,5 +1,6 @@ data D1 where - MkD1 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D1 + MkD1 :: (forall (k :: BOX) (p :: k -> *) (a :: k). + p a -> Int) -> D1 -- Defined at <interactive>:3:1 data D2 where MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2 |