Hello,

On Sun, Oct 5, 2008 at 12:34, Ross Paterson <ross@soi.city.ac.uk> wrote:

On Sat, Oct 04, 2008 at 05:17:41PM +0200, José Pedro Magalhães wrote:
> Basically, a new module Data.Data in base contains the previous
> Data.Generics.Basics and most of the instances from Data.Generics.Instances.
> Other changes are:
>
> On Mon, Sep 15, 2008 at 13:28, José Pedro Magalhães <jpm@cs.uu.nl> wrote:
>
> + Ratio has to be fixed to have a consistent instance: either it's seen
> as an abstract datatype (therefore with undefined gunfold) or a gfoldl
> has to be defined matching its gunfold;
>
> Ratio had its gfoldl defined to match its gunfold. Since GHC.Ratio exports the
> constructor (:%), I guess Ratio cannot be considered abstract.

I don't think GHC.Ratio counts as part of the public interface.
But Ratio isn't a showstopper.

Sorry, I meant GHC.Real. But I am not sure on this definition either; no one before had suggested whether to remove or add functionality to this instance,just that the previous state was inconsistent.

Thanks,
Pedro