Add T7220a.stderr
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 21 Nov 2014 20:55:37 +0000 (21:55 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 21 Nov 2014 20:55:37 +0000 (21:55 +0100)
which presumably was just forgotten when creating the testcase in
commit 7b1a856.

testsuite/tests/typecheck/should_compile/T7220a.stderr [new file with mode: 0644]

diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr
new file mode 100644 (file)
index 0000000..4be503d
--- /dev/null
@@ -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