在 emacs 中将 QuickCheck 与 haskell-mode 一起使用时,输出开始于(继续到默认的 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 终端表示。现在我找到了一些在 emacs 中处理 ^H 的解决方案,但我不太明白这对我有什么帮助。
我试过切换normal-erasure-is-backspace-mode
,但除了禁用我的退格键之外,这没有奏效。我想知道正确的解决方案是否不在于 QuickCheck 或 haskell-mode。我还尝试摆弄确定终端如何编码退格和删除的终端选项,但这没有任何区别。
一个最小的 quickCheck 示例:
import Test.QuickCheck
prop :: Int -> Bool
prop x = True
main = quickCheck prop