On Jun 17, 2015, at 8:00 AM, Simon Peyton Jones <simonpj@microsoft.com> wrote:

On a fresh build of the 7.10 branch, I get five validate failures on Linux. They are below. Is this only me?
typecheck/should_fail T10534 [stderr mismatch] (normal)

That's probably my fault. As long as the file doesn't compile and the error message is something along the lines of "can't match a with b", it's fine. I validated on master, not 7.10, and it's quite possible the error message changed between them.

I don't know about the others.

Richard