<div dir="auto">That's not all that helpful, because both extensions evolved quite a bit since their initial introduction.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Oct 31, 2020, 9:35 PM Takenobu Tani <<a href="mailto:takenobu.hs@gmail.com">takenobu.hs@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Maybe the next page is what you want? :<br>
  <a href="https://gitlab.haskell.org/ghc/ghc/-/wikis/language-pragma-history" rel="noreferrer noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/wikis/language-pragma-history</a><br>
<br>
PatternSynonyms was implemented in GHC 7.8, and TypeFamilyDependencies<br>
was implemented in GHC 8.0.<br>
<br>
Regards,<br>
Takenobu<br>
<br>
On Sun, Nov 1, 2020 at 2:08 AM David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a>> wrote:<br>
><br>
> 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?<br>
> _______________________________________________<br>
> Glasgow-haskell-users mailing list<br>
> <a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank" rel="noreferrer">Glasgow-haskell-users@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div>