QuickCheck与emacs中的haskell-mode一起使用,^ H.

时间:2015-12-21 17:01:36

标签: haskell emacs quickcheck haskell-mode

在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

0 个答案:

没有答案