diff options
Diffstat (limited to 'testsuite/tests/deriving/should_compile/Roles1.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_compile/Roles1.stderr | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_compile/Roles1.stderr b/testsuite/tests/deriving/should_compile/Roles1.stderr new file mode 100644 index 0000000000..10edab13ef --- /dev/null +++ b/testsuite/tests/deriving/should_compile/Roles1.stderr @@ -0,0 +1,50 @@ +TYPE SIGNATURES +TYPE CONSTRUCTORS + T1 :: * -> * + data T1 a@N + No C type associated + RecFlag NonRecursive, Promotable + = K1 :: forall a. a -> T1 a Stricts: _ + FamilyInstance: none + T2 :: * -> * + data T2 a@R + No C type associated + RecFlag NonRecursive, Promotable + = K2 :: forall a. a -> T2 a Stricts: _ + FamilyInstance: none + T3 :: forall (k :: BOX). k -> * + data T3 (k::BOX)@N (a::k)@P + No C type associated + RecFlag NonRecursive, Not promotable + = K3 :: forall (k::BOX) (a::k). T3 k a + FamilyInstance: none + T4 :: (* -> *) -> * -> * + data T4 (a::* -> *)@N b@N + No C type associated + RecFlag NonRecursive, Not promotable + = K4 :: forall (a::* -> *) b. (a b) -> T4 a b Stricts: _ + FamilyInstance: none + T5 :: * -> * + data T5 a@R + No C type associated + RecFlag NonRecursive, Promotable + = K5 :: forall a. a -> T5 a Stricts: _ + FamilyInstance: none + T6 :: forall (k :: BOX). k -> * + data T6 (k::BOX)@N (a::k)@P + No C type associated + RecFlag NonRecursive, Not promotable + = K6 :: forall (k::BOX) (a::k). T6 k a + FamilyInstance: none + T7 :: forall (k :: BOX). k -> * -> * + data T7 (k::BOX)@N (a::k)@P b@R + No C type associated + 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 ==================== + |