don't call Haskeline to read input when stdin is not a terminal
authorSimon Marlow <marlowsd@gmail.com>
Thu, 28 May 2009 15:26:51 +0000 (15:26 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 28 May 2009 15:26:51 +0000 (15:26 +0000)
commite16df2647fde526846e4c13470250ee5b475bdd2
treeafadc42f8da3839b59b54caf36964353528d2834
parent7bcf45933a1b386e7f28c0ee7d09d92bad1ee0e7
don't call Haskeline to read input when stdin is not a terminal
ghc/InteractiveUI.hs