diff options
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] |