diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-10-13 20:25:18 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-14 12:05:11 -0400 |
| commit | ac300a0d49343e6a558dc36d94fc558f51d43bb2 (patch) | |
| tree | 18615bb3b167e15d5c7d4e027e1882d44c53d7bd | |
| parent | 716385c90f2f89ac45e256cdb7cdada1981b31ad (diff) | |
| download | haskell-ac300a0d49343e6a558dc36d94fc558f51d43bb2.tar.gz | |
Remove "Operator sections" from docs/users_guide/bugs.rst
The issue described in that section was fixed by
2b89ca5b850b4097447cc4908cbb0631011ce979
| -rw-r--r-- | docs/users_guide/bugs.rst | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/docs/users_guide/bugs.rst b/docs/users_guide/bugs.rst index 8734b86e96..d6e1970fea 100644 --- a/docs/users_guide/bugs.rst +++ b/docs/users_guide/bugs.rst @@ -438,31 +438,6 @@ The Foreign Function Interface single: hs_init single: hs_exit -.. _infelicities-operator-sections: - -Operator sections -^^^^^^^^^^^^^^^^^ - -The Haskell Report demands that, for infix operators ``%``, the following -identities hold: - -:: - - (% expr) = \x -> x % expr - (expr %) = \x -> expr % x - -However, the second law is violated in the presence of undefined operators, - -:: - - (%) = error "urk" - (() %) `seq` () -- urk - (\x -> () % x) `seq` () -- OK, result () - -The operator section is treated like function application of an undefined -function, while the lambda form is in WHNF that contains an application of an -undefined function. - .. _haskell-98-2010-undefined: GHC's interpretation of undefined behaviour in Haskell 98 and Haskell 2010 |