can't validate on Linux

[Richard Eisenberg]

> On Mar 13, 2017, at 5:57 PM, Ben Gamari <ben at well-typed.com> wrote:
> 
> Richard, this is on Linux, yes?

Yes, it is. But I have now noticed other aspects of some very strange behavior regarding the filesystem on my Linux server, so the problem may be unrelated to GHC. (Example of other problem: running the testsuite, with `make`, reveals tons of stderr mismatches. Some digging reveals that the .run.stderr files are sometimes truncated.)

So, thanks for the offers for help, but I’ve passed this problem up to my sysadmin.

Thanks,
Richard