Keith Wansbrough wrote:
> GHC is no different from any other compiler for any other language in
> this respect. Floating-point values are *not* the mathematical `real
> numbers', and should not be treated as such. This is second-year CS
> course material.
No, but they ARE, assuming IEEE arithmetic, discrete mathematical
objects with an arithmetic as well defined as that on the integers.
To do constant folding according to different rules is, IMHO,
outrageous. One should not have to add --strict-fp for purity
of addition to be guaranteed, instead purity should be the default,
with perhaps a --fast-math option for people who know what they're
doing or don't mind living dangerously. Surely this is obvious to
Haskell programmers?
