25 Oct
2002
25 Oct
'02
8:28 a.m.
| | 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). | | 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. Simon "desperately sitting on the lid" PJ