
Hello,
On Sun, Oct 5, 2008 at 12:34, Ross Paterson
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
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