Re: [GHC] #7684: cgrun071 segfaults