Commit 2d2cc76f authored by Tilman Blumhagen's avatar Tilman Blumhagen Committed by Marge Bot
Browse files

Documentation for (&&) and (&&) states that they are lazy in their second argument (fixes #17354)

parent fd8b666a
Pipeline #11743 failed with stages
in 506 minutes and 27 seconds
...@@ -524,12 +524,12 @@ compareWord# x# y# ...@@ -524,12 +524,12 @@ compareWord# x# y#
-- Boolean functions -- Boolean functions
-- | Boolean \"and\" -- | Boolean \"and\", lazy in the second argument
(&&) :: Bool -> Bool -> Bool (&&) :: Bool -> Bool -> Bool
True && x = x True && x = x
False && _ = False False && _ = False
-- | Boolean \"or\" -- | Boolean \"or\", lazy in the second argument
(||) :: Bool -> Bool -> Bool (||) :: Bool -> Bool -> Bool
True || _ = True True || _ = True
False || x = x False || x = x
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment