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