[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