T7220a failing
Joachim Breitner
mail at joachim-breitner.de
Fri Nov 21 14:43:08 UTC 2014
Hi,
I observe
--- /dev/null 2014-11-21 13:30:25.126538446 +0000
+++ ./typecheck/should_compile/T7220a.comp.stderr 2014-11-21 13:58:27.078240760 +0000
@@ -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
*** unexpected failure for T7220a(normal)
https://s3.amazonaws.com/archive.travis-ci.org/jobs/41712832/log.txt
probably caused by one of the commits pushed by SPJ in the range
b0dd34756613...c5a39389ea06
Greetings,
Joachim
--
Joachim “nomeata” Breitner
mail at joachim-breitner.de • http://www.joachim-breitner.de/
Jabber: nomeata at joachim-breitner.de • GPG-Key: 0xF0FBF51F
Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141121/d06a09fd/attachment.sig>
More information about the ghc-devs
mailing list