diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-02 09:00:55 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-02 09:01:10 +0100 |
| commit | 6b5696230f426f531eb182cd189c0b206afe9296 (patch) | |
| tree | d37eba05b1027350ccc34d590238ca76afd928cb /testsuite/tests/roles | |
| parent | e6632902f5e1ab2094b1df98aee27418c5a657ba (diff) | |
| download | haskell-6b5696230f426f531eb182cd189c0b206afe9296.tar.gz | |
Further testsuite wibbles following changes to kind suppression
Diffstat (limited to 'testsuite/tests/roles')
| -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 e56cfb44b3..e1808e8b2b 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 :: forall (k :: BOX). k -> * + T3 :: 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 :: forall (k :: BOX). k -> * + T6 :: 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 :: forall (k :: BOX). k -> * -> * + T7 :: k -> * -> * data T7 (k::BOX) (a::k) b No C type associated Roles: [nominal, phantom, representational] |