> What, if anything, does Haskell specify with regard to
> (a) integer overflow,
I presume you mean Int overflow since Integer cannot overflow.
The report used to say that the behaviour is unspecified, i.e.
it might wrap around, or cause an error, or make your machine blow up :-)
> (b) semantics of integer division and remainder
> (div, mod, quot, rem)
They are exactly defined in the report.
> (c) semantics of floating point arithmetic?
Again, it is unspecified. But some properties can be tested for.
-- Lennart
