
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
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
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