diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles1.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles1.stderr | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr new file mode 100644 index 0000000000..e1808e8b2b --- /dev/null +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -0,0 +1,57 @@ +TYPE SIGNATURES +TYPE CONSTRUCTORS + T1 :: * -> * + data T1 a + No C type associated + Roles: [nominal] + RecFlag NonRecursive, Promotable + = K1 :: forall a. a -> T1 a Stricts: _ + FamilyInstance: none + T2 :: * -> * + data T2 a + No C type associated + Roles: [representational] + RecFlag NonRecursive, Promotable + = K2 :: forall a. a -> T2 a Stricts: _ + FamilyInstance: none + T3 :: k -> * + data T3 (k::BOX) (a::k) + No C type associated + Roles: [nominal, phantom] + RecFlag NonRecursive, Not promotable + = K3 :: forall (k::BOX) (a::k). T3 k a + FamilyInstance: none + T4 :: (* -> *) -> * -> * + data T4 (a::* -> *) b + No C type associated + Roles: [nominal, nominal] + RecFlag NonRecursive, Not promotable + = K4 :: forall (a::* -> *) b. (a b) -> T4 a b Stricts: _ + FamilyInstance: none + T5 :: * -> * + data T5 a + No C type associated + Roles: [representational] + RecFlag NonRecursive, Promotable + = K5 :: forall a. a -> T5 a Stricts: _ + FamilyInstance: none + 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 :: k -> * -> * + data T7 (k::BOX) (a::k) b + No C type associated + Roles: [nominal, phantom, representational] + RecFlag NonRecursive, Not promotable + = K7 :: forall (k::BOX) (a::k) b. b -> T7 k a b Stricts: _ + FamilyInstance: none +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base, ghc-prim, integer-gmp] + +==================== Typechecker ==================== + |