diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles2.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles2.stderr | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr new file mode 100644 index 0000000000..ac7a94bbfa --- /dev/null +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -0,0 +1,22 @@ +TYPE SIGNATURES +TYPE CONSTRUCTORS + T1 :: * -> * + data T1 a + No C type associated + Roles: [representational] + RecFlag NonRecursive, Not promotable + = K1 :: forall a. (IO a) -> T1 a Stricts: _ + FamilyInstance: none + T2 :: * -> * + data T2 a + No C type associated + Roles: [representational] + RecFlag NonRecursive, Not promotable + = K2 :: forall a. (FunPtr a) -> T2 a Stricts: _ + FamilyInstance: none +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base, ghc-prim, integer-gmp] + +==================== Typechecker ==================== + |