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.fe...@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@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
