Generic instances for GHC AST

Alan & Kim Zimmerman alan.zimm at gmail.com
Sat Jan 17 09:49:01 UTC 2015


FYI I have created ghc-generic-instances on hackage as a cache of the
derived instances.

Name cannot have a Generic instance due to the unboxed type(s) in it.

Alan

On Wed, Jan 14, 2015 at 11:03 PM, Alan & Kim Zimmerman <alan.zimm at gmail.com>
wrote:

> At the moment every part of the GHC AST derives instances of Data and
> Typeable.
>
> There are no instances of Generic.
>
> If I try to standalone derive these, the derivation eventually fails for
>
>     deriving instance Generic (Name)
>
> because the constructors are not all in scope.
>
> So, does it make sense in GHC to at least derive Generic for the items
> that are opaque, and at most to do so for the whole AST.
>
> I know there were some concerns earlier about too many instances being
> derived, and its impact on compilation time and memory, so the minimal
> version may be best.
>
> This will allow the new generation libraries built around Generics to
> perform on GHC data structures too.
>
> Alan
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20150117/36be9a20/attachment.html>


More information about the ghc-devs mailing list