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 ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs