UnsaturatedTypeFamilies in Haskell

Viewed 70

Does any version of GHC supports the extension UnsaturatedTypeFamilies ?

Searching 9.2.1 manual shows no entry

In general, how to find which GHC version supports an extension ?

1 Answers

See the discussion here.

While the proposal for this feature has been accepted as an experimental feature for inclusion in GHC, there is currently no official released version of GHC that supports this extension, and there is no development branch in the main GHC GitLab repository that includes it, as far as I can see. A prototype by Csongor Kiss who authored the proposal is available from Csongor's private repository branch:

https://gitlab.haskell.org/kcsongor/ghc/tree/master

and that appears to be the latest available implementation.

Related