diff options
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles3.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index 18c294c4c5..5814d4d50a 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -14,7 +14,7 @@ TYPE CONSTRUCTORS type Syn2 a = [a] COERCION AXIOMS axiom Roles3.NTCo:C1 :: C1 a = a -> a - axiom Roles3.NTCo:C2 :: C2 a b = a ~ b => a -> b + axiom Roles3.NTCo:C2 :: C2 a b = (a ~ b) => a -> b axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b Dependent modules: [] |