[commit: ghc] wip/spj-wildcard-refactor: Wibble (181d00c)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/spj-wildcard-refactor
Link       : http://ghc.haskell.org/trac/ghc/changeset/181d00c033a165a6df873f44f9b6287f245051e5/ghc

>---------------------------------------------------------------

commit 181d00c033a165a6df873f44f9b6287f245051e5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Nov 18 10:02:42 2015 +0000

    Wibble


>---------------------------------------------------------------

181d00c033a165a6df873f44f9b6287f245051e5
 testsuite/tests/typecheck/should_fail/T8030.stderr | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/testsuite/tests/typecheck/should_fail/T8030.stderr b/testsuite/tests/typecheck/should_fail/T8030.stderr
index 39ac86a..11adf8d 100644
--- a/testsuite/tests/typecheck/should_fail/T8030.stderr
+++ b/testsuite/tests/typecheck/should_fail/T8030.stderr
@@ -8,3 +8,15 @@ T8030.hs:9:3: error:
     When checking the class method:
       op1 :: forall (k :: BOX) (a :: k). C a => Pr a
     In the class declaration for ‘C’
+
+T8030.hs:10:3: error:
+    Couldn't match type ‘Pr a0’ with ‘Pr a’
+    NB: ‘Pr’ is a type function, and may not be injective
+    The type variable ‘a0’ is ambiguous
+    Expected type: Pr a -> Pr a -> Pr a
+      Actual type: Pr a0 -> Pr a0 -> Pr a0
+    In the ambiguity check for ‘op2’
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+    When checking the class method:
+      op2 :: forall (k :: BOX) (a :: k). C a => Pr a -> Pr a -> Pr a
+    In the class declaration for ‘C’