Re: [GHC] #10265: HEAD fails on OS X (was: HEAD fails with -DDEBUG)