diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2014-11-21 21:55:37 +0100 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-11-21 21:55:37 +0100 |
commit | 6265f1c3162a192220ec03d888e1c1ef686b2732 (patch) | |
tree | 0d3658b9897c118e59d24d13618ff6e912dee10c /testsuite/tests/typecheck/should_compile/T7220a.stderr | |
parent | 35833122da8ddb2c0e7aaee0c9b6089af52e38b1 (diff) | |
download | haskell-6265f1c3162a192220ec03d888e1c1ef686b2732.tar.gz |
Add T7220a.stderr
which presumably was just forgotten when creating the testcase in
commit 7b1a856.
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T7220a.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T7220a.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr b/testsuite/tests/typecheck/should_compile/T7220a.stderr new file mode 100644 index 0000000000..4be503d001 --- /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 |