diff options
| -rw-r--r-- | docs/users_guide/bugs.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/users_guide/bugs.rst b/docs/users_guide/bugs.rst index 3cfc023ea0..aee8dc5842 100644 --- a/docs/users_guide/bugs.rst +++ b/docs/users_guide/bugs.rst @@ -351,12 +351,14 @@ 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 () |