Proposal: derive Typeable for Data.Monoid types

Roman Cheplyaka roma at ro-che.info
Tue May 27 08:42:30 UTC 2014


* Herbert Valerio Riedel <hvr at gnu.org> [2014-05-27 10:36:46+0200]
> On 2014-05-27 at 08:31:14 +0200, Roman Cheplyaka wrote:
> > I was surprised to find out that wrappers like Last do not have Typeable
> > instances. Let's add them.
> 
> Fyi, Data.Monoid has been given a `{-# LANGUAGE AutoDeriveTypeable #-}`
> in
> 
>   http://git.haskell.org/ghc.git/commitdiff/1d1ff77aaa09efaddc8cfe0dcf92d6763297cf11
> 
> which should take care of not forgetting a 'deriving Typeable' in the
> future for any new entities defined in Data.Monoid.

Cool! I take it this is already solved in HEAD, then? Any reason not to enable
AutoDeriveTypeable for the whole base (and other core packages)?

Roman
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: Digital signature
URL: <http://www.haskell.org/pipermail/libraries/attachments/20140527/508490d3/attachment.sig>


More information about the Libraries mailing list