Re: FW: Haskell 98: partition; and take,drop,splitAt

[George Russell]

Fergus Henderson wrote:
[snip]
> For FLOOR_{F->I}(NaN), the result is defined as a NaN:
[snip]
> But in both cases this doesn't really make much sense to me,
> since here the result type of the operation is an integer rather
> than floating point type.  I guess the earlier part of 6.1 does
> shed a little extra light:

The less elevated source of "man floor" tells me that although of
course floor returns an integer, it returns it represented as a double.
So perhaps that's the idea.  Or maybe I'm talking rubbish and it
says explicitly in the standard that FLOOR_{F_I} returns something
of integer type.