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

0 ответов

Другие вопросы по тегам