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