diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-23 02:25:17 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-02-23 12:27:59 +0100 |
| commit | 42f06f6821a221b88d67b0adc110eea78c159d7f (patch) | |
| tree | 67e01a66b7f1ebeed33b755454c51771da821b65 /testsuite/tests/typecheck/should_fail/tcfail080.stderr | |
| parent | 978c3ea14a4fb9be577fe64e1e6b724a44f332a8 (diff) | |
| download | haskell-42f06f6821a221b88d67b0adc110eea78c159d7f.tar.gz | |
Testsuite: accept output without Windows line endings (#11631)
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail080.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail080.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail080.stderr b/testsuite/tests/typecheck/should_fail/tcfail080.stderr index 21ca3aa8a6..68e120232e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail080.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail080.stderr @@ -1,12 +1,12 @@ -
-tcfail080.hs:27:1: error:
- Could not deduce (Collection c0 a)
- from the context: Collection c a
- bound by the inferred type for ‘q’:
- Collection c a => a -> Bool
- at tcfail080.hs:27:1-27
- The type variable ‘c0’ is ambiguous
- In the ambiguity check for the inferred type for ‘q’
- To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
- When checking the inferred type
- q :: forall (c :: * -> *) a. Collection c a => a -> Bool
+ +tcfail080.hs:27:1: error: + • Could not deduce (Collection c0 a) + from the context: Collection c a + bound by the inferred type for ‘q’: + Collection c a => a -> Bool + at tcfail080.hs:27:1-27 + The type variable ‘c0’ is ambiguous + • In the ambiguity check for the inferred type for ‘q’ + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + When checking the inferred type + q :: forall (c :: * -> *) a. Collection c a => a -> Bool |