如何解决似乎quickCheck告诉我False不等于False?
| 一直在尝试编写自己的Prelude,并一起编写QuickCheck属性。编写Prelude进行得很顺利,但是在执行QuickCheck时,我设法尽早被阻止了。以下是我拥有的2个文件的摘要: -MyLude.hsmodule MyLude where
import Prelude (Bool(..))
(&&) :: Bool -> Bool -> Bool
(&&) True a = a
(&&) _ _ = False
-MyLudeTest.hs
module MyLudeTest where
import qualified MyLude as P
prop_test_and a b = a && b == a P.&& b
然后在ghci中运行:
:load MyLudeTest.hs
:m +Test.QuickCheck
quickCheck prop_test_and
并得到以下错误:
*** Failed! Falsifiable (after 1 test):
False
False
令我感到困惑的是,我已经实现了(||)并为其实现了一个quickcheck属性,该属性几乎完成了prop_test_and所做的相同工作,而且似乎没有问题。我想念什么?
解决方法
这只是工作中的操作员优先。您的媒体资源解析为:
prop_test_and a b = a && (b == a) P.&& b
, 优先!
Prelude Test.QuickCheck> (False && False) == myand False False
True
Prelude Test.QuickCheck> False && False == myand False False
False
您缺少运算符周围的括号。请记住,(&&)
的绑定(3)比)7ѭ(4)弱
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。