QuickCheck вместе с haskell-mode в emacs, ^H
При использовании QuickCheck вместе с haskell-mode в emacs вывод начинается с (продолжая до значения по умолчанию 100 тестов):
(0 tests)^H^H^H^H^H^H^H^H^H ^H^H^H^H^H^H^H^H^H(1 test)
где ^H (Control H) - терминальное представление UNIX для backspace. Теперь я нашел некоторые решения для обработки ^ H в emacs, но я не совсем понимаю, как это мне помогает.
Я пытался переключить normal-erasure-is-backspace-mode
, но это не сработало, кроме отключения моей клавиши возврата. Интересно, не подходит ли правильное решение с QuickCheck или haskell-mode. Я также попытался поиграться с параметром терминала, который определяет, как терминал кодирует возврат и удаление, но это не имело никакого значения.
Минимальный пример quickCheck:
import Test.QuickCheck
prop :: Int -> Bool
prop x = True
main = quickCheck prop