Splitting SYB from the base package in GHC 6.10
ross at soi.city.ac.uk
Sun Oct 5 06:34:13 EDT 2008
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 at 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.
> o The imports of SYB in the following modules should be fixed to
> avoid bringing into scope all the instances:
> This was not done, given the discussion in  regarding instance visibility
> and orphans.
I've pushed patches to HEAD to do this for array, containers,
packedstring and template-haskell. I think we should be aiming to
remove all dependencies of boot libs on syb, and possibly to making syb
an extra-lib. The only boot lib left depending on syb is bytestring,
but I understand that has other issues.
More information about the Libraries