Re: [GHC] #7956: ghci segfaults with -vN command-line options