[commit: ghc] master: Add missing T14325.stderr (15aefb4)
git at git.haskell.org
git at git.haskell.org
Thu Oct 12 11:46:14 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/15aefb48d946f01b4bc348c34ac4aa8113de45fa/ghc
>---------------------------------------------------------------
commit 15aefb48d946f01b4bc348c34ac4aa8113de45fa
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Oct 12 12:45:43 2017 +0100
Add missing T14325.stderr
>---------------------------------------------------------------
15aefb48d946f01b4bc348c34ac4aa8113de45fa
testsuite/tests/typecheck/should_fail/T14325.stderr | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/testsuite/tests/typecheck/should_fail/T14325.stderr b/testsuite/tests/typecheck/should_fail/T14325.stderr
new file mode 100644
index 0000000..1508c4a
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T14325.stderr
@@ -0,0 +1,9 @@
+
+T14325.hs:11:9: error:
+ • Could not deduce (C b (f b)) arising from a use of ‘foo’
+ from the context: C (f b) b
+ bound by the type signature for:
+ hm3 :: forall (f :: * -> *) b. C (f b) b => b -> f b
+ at T14325.hs:10:1-28
+ • In the expression: foo x
+ In an equation for ‘hm3’: hm3 x = foo x
More information about the ghc-commits
mailing list