newtype coercion wrapping status

Richard Eisenberg eir at
Tue Sep 3 17:26:36 CEST 2013

On Sep 2, 2013, at 5:33 PM, Joachim Breitner wrote:
>> - The changes in Coercion are correct -- the use of Nominal that you
>> removed harkened to the days when all CoVars were Nominal.
> Would you prefer to apply these changes to HEAD independently of the
> coercion feature? It would keep my patch cleaner. 

Done, and pushed. Thanks for bringing this to my attention.


More information about the ghc-devs mailing list