Emacs で Haskell-mode と一緒に QuickCheck を使用すると、出力は次のように始まります (デフォルトの 100 テストまで続きます)。
(0 tests)^H^H^H^H^H^H^H^H^H ^H^H^H^H^H^H^H^H^H(1 test)
ここで、^H (コントロール H) はバックスペースの UNIX 端末表現です。emacs で ^H を処理するための解決策をいくつか見つけましたが、それがどのように役立つかはよくわかりません。
を切り替えてみましnormal-erasure-is-backspace-modeたが、バックスペースキーを無効にする以外にうまくいきませんでした。正しい解決策は、代わりに QuickCheck または haskell-mode にあるのではないかと思います。また、端末がバックスペースと削除をエンコードする方法を決定する端末オプションをいじってみましたが、違いはありませんでした。
最小限の quickCheck の例:
import Test.QuickCheck
prop :: Int -> Bool
prop x = True
main = quickCheck prop