Changes to Typeable
haskell-oren at ben-kiki.org
Wed Oct 3 15:18:17 CEST 2012
Plan A does seem better.
Speaking of making changes to Typeable, is there a chance of
connecting/converting between Data.Typeable.TypeRep and
On Wed, Oct 3, 2012 at 3:03 PM, Edward Kmett <ekmett at gmail.com> wrote:
> I'm definitely in favor of Plan A.
> On Wed, Oct 3, 2012 at 8:01 AM, Simon Peyton-Jones <simonpj at microsoft.com>wrote:
>> * If we do make Typeable instances by default, there are two paths
>> Plan A (easy): make GHC derive Typeable for everything, deprecate
>> all uses of 'deriving Typeable'. Small downside: some
>> that are currently rejected will be accepted.
>> Plan B (tiresome): have AutoDeriveTypable as an extension. That
>> means maintaining the massive instance table.
>> Personally I vote for Plan A. It's easier and more efficient to
>> and the upside of Plan B is modest in the extreme.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries