Re: [GHC] #4012: Compilation results are not deterministic