Rational sequence
Simon Peyton-Jones
simonpj@microsoft.com
Fri, 25 Oct 2002 09:28:57 +0100
|=20
| It's inconsistent to remove the "+1/2" for numericEnumFromTo but to
leave
| the "+(n'-n)" for numericEnumFromThenTo. I think you probably mean to
| remove both (actually, all three).
|=20
| I wouldn't recommend these changes for Float and Double (the
increments
| are there to account for arithmetic inexactness), but they do make a
lot
| of sense to me for (Ratio a), which is exact. Is is too late to
consider
| such a change?
Yes, I think it is. (Too late, that is.) Adding succ/pred makes Ratio
exactly consistent with Float/Double. Anything more is opening a new
can of worms. =20
Simon "desperately sitting on the lid" PJ