diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-27 21:32:52 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-27 21:33:12 +0100 |
| commit | 7c2ab6fb41464ace21fcae885ae8dc5354014a25 (patch) | |
| tree | 7eb70eea90a9f3a1664d47654182e1482169ab1a /testsuite | |
| parent | 19354fb22767bfdcc525d2f851e24cd8a493e84f (diff) | |
| download | haskell-7c2ab6fb41464ace21fcae885ae8dc5354014a25.tar.gz | |
Testsuite: accept output for T10999 (#10999)
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T10999.stderr | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr index 0519ecba6e..2bf060b0aa 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr @@ -1 +1,14 @@ -
\ No newline at end of file + +T10999.hs:5:12: error: + Found type wildcard ‘_’ standing for ‘Set.Set a’ + Where: ‘a’ is a rigid type variable bound by + the inferred type of f :: Ord a => () -> Set.Set a at T10999.hs:6:1 + To use the inferred type, enable PartialTypeSignatures + In the type signature for: + f :: () -> _ + +T10999.hs:6:1: error: + No instance for (Ord a) + When checking that ‘f’ has the inferred type + f :: forall a. () -> Set.Set a + Probable cause: the inferred type is ambiguous |