Subject: Re: More GND + role inference woes
From: Richard Eisenberg <[email-masked]>
To: Ben Gamari <[email-masked]>
Cc: ghc-devs <[email-masked]>
Date: Sun, 15 Dec 2013 01:06:08 +0000
List-Id: GHC development discussion <ghc-devs.haskell.org>

On Dec 14, 2013, at 7:59 PM, Ben Gamari wrote:
>
> I suppose it's unlikely that the roles mechanism will be extended to
> allow for such restriction?

Very unlikely in the short term. As more use cases for such a feature filter in and the community demands the feature, there's no strong technical reason it can't be done. We believe that doing this would add quite a bit more complexity within GHC and doesn't have the right payoff-to-complexity ratio, for now.

Richard
_______________________________________________
ghc-devs mailing list
[email-masked]
http://www.haskell.org/mailman/listinfo/ghc-devs