Thanks Joachim.
Simon
| -----Original Message-----
| From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf Of
| git@git.haskell.org
| Sent: 21 November 2014 20:56
| To: ghc-commits@haskell.org
| Subject: [commit: ghc] master: Add T7220a.stderr (6265f1c)
|
| Repository : ssh://git@git.haskell.org/ghc
|
| On branch : master
| Link :
| http://ghc.haskell.org/trac/ghc/changeset/6265f1c3162a192220ec03d888e1c1e
| f686b2732/ghc
|
| >---------------------------------------------------------------
|
| commit 6265f1c3162a192220ec03d888e1c1ef686b2732
| Author: Joachim Breitner
| 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
|
| _______________________________________________
| ghc-commits mailing list
| ghc-commits@haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-commits
