Re: [GHC] #9421: Problems and workarounds when installing and using a 32bit GHC on 64bit Linux machine