[GHC] #2528: documentation for nub and nubBy should be corrected, extended or removed.
GHC
ghc-devs at haskell.org
Fri Apr 25 13:08:55 UTC 2014
#2528: documentation for nub and nubBy should be corrected, extended or removed.
-----------------------------------+------------------------------------
Reporter: jdressel | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.8.3
Component: libraries/base | Version: 6.8.2
Resolution: | Keywords:
Operating System: Linux | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-----------------------------------+------------------------------------
Changes (by ekmett):
* cc: ekmett@…, hvr, ekmett (added)
Comment:
Jeremy,
Reflexivity is violated in base by the instances for `Float`/`Double`, by
the behavior around NaN so that law falls apart quickly.
`Eq` is also not structural (as demonstrated by `-0` and `0` being `(==)`
in `Float`/`Double`), though you didn't offer that one.
`Ord` for those is a bit like a funhouse playground. ;)
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2528#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list