| > The Report says that the Enum instance for Ratio uses the | > same rule as for Float/Double, | | Now I can see that the revised Report contains more about | this than the one on haskell.org. But I still can't see the | statement you cited above. Where should I look? You look in the instance declaration for Ratio, which is given in the Ratio chapter of the Library report. | As I told above, I can't see anything to change, except | implementation. As I understand it, GHC conforms to the Report, but Hugs perhaps does not, yet. Simon
"Simon Peyton-Jones"
You look in the instance declaration for Ratio, which is given in the Ratio chapter of the Library report.
This is what I ignorantly called implementation. Sorry for the trouble.
As I understand it, GHC conforms to the Report, but Hugs perhaps does not, yet.
OK. I see your point, and also expressed mine. Seems like you won't argue about this, so I give up. I would have been grateful to learn the reasoning behind the current design, though. Feri.
On Tue, Oct 22, 2002 at 01:54:58PM +0100, Simon Peyton-Jones wrote:
You look in the instance declaration for Ratio, which is given in the Ratio chapter of the Library report.
| As I told above, I can't see anything to change, except | implementation.
As I understand it, GHC conforms to the Report,
Not quite: GHC sensibly defines succ and pred in Enum (Ratio a), but the Report doesn't. So officially, succ (3%2) = 2%1.
participants (3)
-
Ferenc Wagner -
Ross Paterson -
Simon Peyton-Jones