[commit: ghc] master: Add T7220a.stderr (6265f1c)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6265f1c3162a192220ec03d888e1c1ef686b2732/ghc

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

commit 6265f1c3162a192220ec03d888e1c1ef686b2732
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Nov 21 21:55:37 2014 +0100

    Add T7220a.stderr
    
    which presumably was just forgotten when creating the testcase in
    commit 7b1a856.


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

6265f1c3162a192220ec03d888e1c1ef686b2732
 testsuite/tests/typecheck/should_compile/T7220a.stderr | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr
new file mode 100644
index 0000000..4be503d
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr
@@ -0,0 +1,14 @@
+
+T7220a.hs:17:6:
+    Could not deduce (C a b)
+    from the context (C a0 b, TF b ~ Y)
+      bound by the type signature for f :: (C a0 b, TF b ~ Y) => b
+      at T7220a.hs:17:6-44
+    Possible fix:
+      add (C a b) to the context of
+        the type signature for f :: (C a0 b, TF b ~ Y) => b
+    In the ambiguity check for the type signature for ‘f’:
+      f :: forall a. (forall b. (C a b, TF b ~ Y) => b) -> X
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+    In the type signature for ‘f’:
+      f :: (forall b. (C a b, TF b ~ Y) => b) -> X