diff options
| author | Vaibhav Sagar <vaibhavsagar@gmail.com> | 2016-10-09 18:21:58 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-10-09 18:21:58 -0400 |
| commit | 1a9705c32f6841be8bc6df3c1084a50dacba2730 (patch) | |
| tree | 3b18b419e233ea572cd4d7d71b08baf95525f060 | |
| parent | 85e81a850a3e79d965e18f267a0e0b1c4bc69fae (diff) | |
| download | haskell-1a9705c32f6841be8bc6df3c1084a50dacba2730.tar.gz | |
Escape lambda.
Test Plan: View updated documentation?
Reviewers: austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2583
GHC Trac Issues: #12672
| -rw-r--r-- | libraries/base/GHC/Base.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/base/GHC/Base.hs b/libraries/base/GHC/Base.hs index 1afa45cf6c..34a038d16c 100644 --- a/libraries/base/GHC/Base.hs +++ b/libraries/base/GHC/Base.hs @@ -469,7 +469,7 @@ Instances of 'Monad' should satisfy the following laws: * @'return' a '>>=' k = k a@ * @m '>>=' 'return' = m@ -* @m '>>=' (\x -> k x '>>=' h) = (m '>>=' k) '>>=' h@ +* @m '>>=' (\\x -> k x '>>=' h) = (m '>>=' k) '>>=' h@ Furthermore, the 'Monad' and 'Applicative' operations should relate as follows: |