diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles2.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles2.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles2.stderr b/testsuite/tests/roles/should_compile/Roles2.stderr index 244b32feb7..81cf221fbd 100644 --- a/testsuite/tests/roles/should_compile/Roles2.stderr +++ b/testsuite/tests/roles/should_compile/Roles2.stderr @@ -2,9 +2,9 @@ TYPE SIGNATURES Roles2.K1 :: forall a. IO a -> T1 a Roles2.K2 :: forall a. FunPtr a -> T2 a TYPE CONSTRUCTORS - data T1 a = K1 (IO a) + T1 :: * -> * type role T2 phantom - data T2 a = K2 (FunPtr a) + T2 :: * -> * COERCION AXIOMS Dependent modules: [] Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3, |