在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终端表示。现在我找到了some solutions for handling ^H in emacs,但我不太明白这对我有什么帮助。
我尝试切换normal-erasure-is-backspace-mode
,但除了禁用我的退格键之外,这还没有用。我想知道正确的解决方案是否不适用于QuickCheck或haskell模式。我也试过摆弄终端选项来确定终端如何编码退格和删除,但这没有任何区别。
最小的quickCheck示例:
import Test.QuickCheck
prop :: Int -> Bool
prop x = True
main = quickCheck prop