似乎quickCheck告诉我False不等于False？

问题描述

| 一直在尝试编写自己的Prelude，并一起编写QuickCheck属性。编写Prelude进行得很顺利，但是在执行QuickCheck时，我设法尽早被阻止了。以下是我拥有的2个文件的摘要： -MyLude.hs

module 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）弱