Skip to content

Document infelicities of instance Ord Double and workarounds

Bodigrim requested to merge Bodigrim/ghc:document-instance-ord-double into master

Current comment for instance Ord Double is very much a non-documentation, leaving reader with more questions than answers: what mandated such peculiar definition? what are practical consequences of the lack of reflexivity? are there any workarounds to restore total order?

This MR aims to improve these matters. It covers deviation from IEEE 754 in greater detail and suggests robust workarounds.

Merge request reports