Rational sequence
Ross Paterson
ross@soi.city.ac.uk
Thu, 24 Oct 2002 12:21:01 +0100
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.