No matches were found for subject:"\[GHC\] #3157\: ghci segmentation fault when computation is interrupted"