[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