diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles1.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles1.stderr | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles1.stderr b/testsuite/tests/roles/should_compile/Roles1.stderr index e11b454f99..3278701048 100644 --- a/testsuite/tests/roles/should_compile/Roles1.stderr +++ b/testsuite/tests/roles/should_compile/Roles1.stderr @@ -1,11 +1,3 @@ -TYPE SIGNATURES - Roles1.K1 :: forall a. a -> T1 a - Roles1.K2 :: forall a. a -> T2 a - Roles1.K3 :: forall k (a :: k). T3 a - Roles1.K4 :: forall (a :: * -> *) b. a b -> T4 a b - Roles1.K5 :: forall a. a -> T5 a - Roles1.K6 :: forall {k} (a :: k). T6 a - Roles1.K7 :: forall {k} (a :: k) b. b -> T7 a b TYPE CONSTRUCTORS type role T1 nominal T1 :: * -> * @@ -19,7 +11,14 @@ TYPE CONSTRUCTORS T6 :: forall {k}. k -> * type role T7 nominal phantom representational T7 :: forall {k}. k -> * -> * -COERCION AXIOMS +DATA CONSTRUCTORS + K7 :: forall {k} (a :: k) b. b -> T7 a b + K6 :: forall {k} (a :: k). T6 a + K5 :: forall a. a -> T5 a + K4 :: forall (a :: * -> *) b. a b -> T4 a b + K3 :: forall k (a :: k). T3 a + K2 :: forall a. a -> T2 a + K1 :: forall a. a -> T1 a Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, integer-gmp-1.0.2.0] |