Constrained Type Families?

[Richard Eisenberg]

On Mar 8, 2016, at 7:17 PM, Evan Austin <e.c.austin at gmail.com> wrote:
> The wiki page for Phase I of Dependent Haskell describes an approach to constrained type families:
> https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase1#Typefamilyequationscanbeconstrained
> 
> Did that land in GHC 8.0 and, if so, is the updated syntax documented somewhere?

No, it didn't make it. The motivating test case seemed contrived and so we punted on this one.

Do you have a use case that really needs this feature? That would help to motivate it for 8.2 or beyond.

Thanks!
Richard

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160308/8e2ae716/attachment.html>