7 Jul
2003
7 Jul
'03
7:22 a.m.
On Mon, Jul 07, 2003 at 01:09:53PM +0200, Wolfgang Jeltsch wrote:
On Monday, 2003-07-07, 13:05, CEST, Ross Paterson wrote:
In the case of 0.1::Rational, it shouldn't be using floating point. The Report says this means fromRational (1%10), i.e. 1%10.
In which paragraph of the report is this specified?
I take that as the meaning of the part you're reading (6.4.1), though it would be better if it said "the appropriate value" rather than "a value".