RE: Build fails

Simon Peyton Jones writes:

| Indeed I'm also seeing this. I will revert the compression patch.

OK. When do you plan to do that?

Oh dear, I thought I had already done so but it seems the push failed. Done now. Sorry for the delay! Cheers, - Ben