Add extra .ghci warning