[commit: ghc] master: Testsuite: accept output for T10999 (#10999) (7c2ab6f)
git at git.haskell.org
git at git.haskell.org
Tue Oct 27 20:30:37 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/7c2ab6fb41464ace21fcae885ae8dc5354014a25/ghc
>---------------------------------------------------------------
commit 7c2ab6fb41464ace21fcae885ae8dc5354014a25
Author: Thomas Miedema <thomasmiedema at gmail.com>
Date: Tue Oct 27 21:32:52 2015 +0100
Testsuite: accept output for T10999 (#10999)
>---------------------------------------------------------------
7c2ab6fb41464ace21fcae885ae8dc5354014a25
testsuite/tests/partial-sigs/should_fail/T10999.stderr | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
index 0519ecb..2bf060b 100644
--- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
@@ -1 +1,14 @@
+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
More information about the ghc-commits
mailing list