Re: recomp013

I couldn't repro on a devel2 build. Edward Excerpts from Simon Peyton Jones's message of 2015-10-26 08:24:00 -0700:

driver/recomp013 is failing, on Linux, on HEAD for me:

Actual stdout output differs from expected:

--- ./driver/recomp013/recomp013.stdout.normalised 2015-10-26 14:26:51.920153558 +0000

+++ ./driver/recomp013/recomp013.run.stdout.normalised 2015-10-26 14:26:51.920153558 +0000

@@ -3,5 +3,3 @@

[2 of 3] Compiling B ( B.hs, B.o )

[3 of 3] Compiling C ( C.hs, C.o )

second run

-[2 of 3] Compiling B ( B.hs, B.o )

-[3 of 3] Compiling C ( C.hs, C.o ) [B changed]