Re: [GHC] #2451: New signal-handling API