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/roles/should_compile/Roles1.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/roles/should_compile/Roles1.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles1.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index cd027f13f2..de4ecf36e2 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -14,7 +14,7 @@ TYPE CONSTRUCTORS RecFlag NonRecursive, Promotable = K2 :: forall a. a -> T2 a Stricts: _ FamilyInstance: none - T3 :: k -> * + T3 :: forall (k :: BOX). k -> * data T3 (k::BOX) (a::k) No C type associated Roles: [nominal, phantom] @@ -35,14 +35,14 @@ TYPE CONSTRUCTORS RecFlag NonRecursive, Promotable = K5 :: forall a. a -> T5 a Stricts: _ FamilyInstance: none - T6 :: k -> * + T6 :: forall (k :: BOX). k -> * data T6 (k::BOX) (a::k) No C type associated Roles: [nominal, phantom] RecFlag NonRecursive, Not promotable = K6 :: forall (k::BOX) (a::k). T6 k a FamilyInstance: none - T7 :: k -> * -> * + T7 :: forall (k :: BOX). k -> * -> * data T7 (k::BOX) (a::k) b No C type associated Roles: [nominal, phantom, representational] |