diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles4.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles4.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 109a2bb96f..0113869e42 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -2,8 +2,10 @@ TYPE SIGNATURES TYPE CONSTRUCTORS class C1 a where meth1 :: a -> a + {-# MINIMAL meth1 #-} class C3 a where meth3 :: a -> Syn1 a + {-# MINIMAL meth3 #-} type Syn1 a = [a] COERCION AXIOMS axiom Roles4.NTCo:C1 :: C1 a = a -> a |