Re: [GHC] #7653: incorrect handling of StackOverflow exception in the event manager