
On Tue, 2011-02-22 at 07:12 -0800, Johan Tibell wrote:
On Tue, Feb 22, 2011 at 7:08 AM, Nick Frolov
wrote: Something has definitely changed between these two ghc versions. Since I've spent considerable amount of time on finding a workaround for the problem, I'd like to file a real bug report, but I'm not completely sure where to do it because there are several pieces of software involved (ghc itself, 'process', 'satchmo' and 'minisat2' SAT solver). Could somebody guide me please?
There were a few I/O manager related bugs, one related to forking processes. These should be fixed in GHC 7.0.2 (and the next HP release), due soon.
I've just reproduced the bug with GHC 7.0.2. It seems that it still has to be reported, but, again, I have no idea if it's caused by a possible regression in GHC. It could be that one of the libraries relies on the wrong behaviour of GHC 6.12.*, right?