0

在 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
4

0 回答 0