diff options
| author | Anselm Schüler <mail@anselmschueler.com> | 2022-07-10 19:24:41 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-17 22:31:11 -0400 |
| commit | b27c5947ed9537f8cde153be4e53d4095ecbe247 (patch) | |
| tree | 8ad242739e58b0397587ce2ccae33390ea9fec26 | |
| parent | a10584e8df9b346cecf700b23187044742ce0b35 (diff) | |
| download | haskell-b27c5947ed9537f8cde153be4e53d4095ecbe247.tar.gz | |
Fix incorrect proof of applyWhen’s properties
| -rw-r--r-- | libraries/base/Data/Function.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/Data/Function.hs b/libraries/base/Data/Function.hs index ce4a10961a..35c0b7d657 100644 --- a/libraries/base/Data/Function.hs +++ b/libraries/base/Data/Function.hs @@ -141,7 +141,7 @@ applyWhen False _ x = x -- Proofs: -- -- flip bool id = \q f -> bool id f q --- = \f q -> case q of +-- = \q f -> case q of -- True -> f = \x -> f x -- False -> id = \x -> x ∎ -- |