diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T8034.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T8034.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T8034.stderr b/testsuite/tests/typecheck/should_fail/T8034.stderr index 77a60294ce..1a2b1f7791 100644 --- a/testsuite/tests/typecheck/should_fail/T8034.stderr +++ b/testsuite/tests/typecheck/should_fail/T8034.stderr @@ -1,11 +1,11 @@ -
-T8034.hs:6:3: error:
- Couldn't match type ‘F a0’ with ‘F a’
- NB: ‘F’ is a type function, and may not be injective
- The type variable ‘a0’ is ambiguous
- Expected type: F a -> F a
- Actual type: F a0 -> F a0
- In the ambiguity check for ‘foo’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- When checking the class method: foo :: forall a. C a => F a -> F a
- In the class declaration for ‘C’
+ +T8034.hs:6:3: error: + • Couldn't match type ‘F a0’ with ‘F a’ + NB: ‘F’ is a type function, and may not be injective + The type variable ‘a0’ is ambiguous + Expected type: F a -> F a + Actual type: F a0 -> F a0 + • In the ambiguity check for ‘foo’ + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + When checking the class method: foo :: forall a. C a => F a -> F a + In the class declaration for ‘C’ |