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@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org