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.dehttp://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