Re: [GHC] #11297: CmmSwitchTest fails on 32-bit platforms (was: CmmSwitchTest fails on arm)