[Hs-Generics] Generics and data families

[José Pedro Magalhães]

Hi Reiner,

On Wed, Mar 14, 2012 at 00:30, Reiner Pope <reiner.pope at gmail.com> wrote:

>
> A similar question is what the following should do:
>
> > {-# LANGUAGE DeriveGeneric, FlexibleInstances, StandaloneDeriving #-}
> > import GHC.Generics
> > data T a = T a
> > deriving instance Generic (T Bool)
>
> Surprisingly, it currently generates the following instances:
>
> > instance Generic (T Bool) where ...
> > type instance Rep (T a) = ...
>

Oh, this is a bug. I'll open a ticket for it and fix it soon.


Thanks,
Pedro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/generics/attachments/20120314/c50f2e70/attachment.htm>