Language extension histories

David Feuer david.feuer at gmail.com
Sun Nov 1 01:56:16 UTC 2020


That's not all that helpful, because both extensions evolved quite a bit
since their initial introduction.

On Sat, Oct 31, 2020, 9:35 PM Takenobu Tani <takenobu.hs at gmail.com> wrote:

> Hi,
>
> Maybe the next page is what you want? :
>   https://gitlab.haskell.org/ghc/ghc/-/wikis/language-pragma-history
>
> PatternSynonyms was implemented in GHC 7.8, and TypeFamilyDependencies
> was implemented in GHC 8.0.
>
> Regards,
> Takenobu
>
> On Sun, Nov 1, 2020 at 2:08 AM David Feuer <david.feuer at gmail.com> wrote:
> >
> > I'm working on some code I want to be compatible with multiple GHC
> versions and I'm trying to figure out which language extensions I can
> reasonably use. I definitely need usable fancy pattern synonyms (not the
> bare-bones ones in 7.8). So that should set a lower bound, but I don't
> remember where. 7.10? 8.0? I'd also *like* to use an injective type family,
> but I can work around that pretty easily with a data family if necessary.
> When did PatternSynonyms and TypeFamilyDependencies each become reasonably
> usable?
> > _______________________________________________
> > Glasgow-haskell-users mailing list
> > Glasgow-haskell-users at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20201031/22593032/attachment.html>


More information about the Glasgow-haskell-users mailing list