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/th/TH_Roles2.stderr | |
| 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/th/TH_Roles2.stderr')
| -rw-r--r-- | testsuite/tests/th/TH_Roles2.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/th/TH_Roles2.stderr b/testsuite/tests/th/TH_Roles2.stderr index bd44d12c6b..334d09dfd2 100644 --- a/testsuite/tests/th/TH_Roles2.stderr +++ b/testsuite/tests/th/TH_Roles2.stderr @@ -1,6 +1,6 @@ TYPE SIGNATURES TYPE CONSTRUCTORS - T :: k -> * + T :: forall (k :: BOX). k -> * data T (k::BOX) (a::k) No C type associated Roles: [nominal, representational] |