newtype coercion wrapping status
eir at cis.upenn.edu
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