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.

Richard


_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

Reply via email to