Hi Gergő, I saw some patches from you yesterday, but there are still validate failures: Unexpected failures: indexed-types/should_compile T3017 [stderr mismatch] (normal) roles/should_compile Roles1 [stderr mismatch] (normal) roles/should_compile Roles2 [stderr mismatch] (normal) simplCore/should_compile T4306 [bad exit code] (normal) th T8884 [stderr mismatch] (normal) typecheck/should_compile tc231 [stderr mismatch] (normal) https://s3.amazonaws.com/archive.travis-ci.org/jobs/20819762/log.txt Are these related to your changes, and are pending fixing? (If not it might take too long until we notice, and it will be more difficult to find the cause.) Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org