don't initialize readline needlessly
authorIan Lynagh <igloo@earth.li>
Sat, 12 Jan 2008 15:54:13 +0000 (15:54 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 12 Jan 2008 15:54:13 +0000 (15:54 +0000)
commitbe3eef905a72a5b21b5ec6fe51662e958249ca60
treee1d61923af65a1ce16b10d0265f71218f7a46fea
parentedd7742766227e8608f7b2e84d184da656cd96a7
don't initialize readline needlessly
Readline.initialize spills some escape sequences to stdout for some terminal
types, potentially spoiling  ghc -e  output. So don't initialize readline
unless we're working interactively on a terminal.
Patch from Bertram Felgenhauer <int-e@gmx.de>
compiler/ghci/InteractiveUI.hs