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.