Skip to content
Snippets Groups Projects
Commit ac300a0d authored by Vladislav Zavialov's avatar Vladislav Zavialov Committed by Marge Bot
Browse files

Remove "Operator sections" from docs/users_guide/bugs.rst

The issue described in that section was fixed by
2b89ca5b
parent 716385c9
No related branches found
No related tags found
No related merge requests found
...@@ -438,31 +438,6 @@ The Foreign Function Interface ...@@ -438,31 +438,6 @@ The Foreign Function Interface
single: hs_init single: hs_init
single: hs_exit 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: .. _haskell-98-2010-undefined:
GHC's interpretation of undefined behaviour in Haskell 98 and Haskell 2010 GHC's interpretation of undefined behaviour in Haskell 98 and Haskell 2010
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment