Haskell 中的 UnsaturatedTypeFamilies

Question

是否有任何版本的 GHC 支持扩展 UnsaturatedTypeFamilies？

正在搜索 9.2.1 manual 显示没有条目

一般来说，如何找到哪个 GHC 版本支持扩展？

Answer 1

查看讨论 here。

虽然此功能的提案已被接受为包含在 GHC 中的实验性功能，但目前没有正式发布的 GHC 版本支持此扩展，并且 GHC GitLab 主存储库中没有开发分支包括它，据我所知。 proposal 作者 Csongor Kiss 的原型可从 Csongor 的私人存储库分支获得：

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

这似乎是最新的可用实现。