<div dir="ltr">Still seems to me that dependent types is taking long enough that 10 won't be it unless we don't have anything else big going in. That said, bgamari was grouching enough about release complications around 9.10 that I wonder if we'll see 10.0 without a big change. ☺</div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Wed, Jul 16, 2025 at 4:53 PM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On Tue, 15 Jul 2025, Andreas Klebinger via Haskell-Cafe wrote:<br>
<br>
> Read all the details here: <br>
> <a href="https://www.haskell.org/ghc/blog/20250702-ghc-release-schedules.html" rel="noreferrer" target="_blank">https://www.haskell.org/ghc/blog/20250702-ghc-release-schedules.html</a><br>
><br>
> There is also a discourse thread if you have feedback: <br>
> <a href="https://discourse.haskell.org/t/ghc-lts-releases-the-glasgow-haskell-compiler/12469" rel="noreferrer" target="_blank">https://discourse.haskell.org/t/ghc-lts-releases-the-glasgow-haskell-compiler/12469</a><br>
<br>
Interesting approach. I guess Linux distributions like Debian will then <br>
also stick to GHC LTS releases.<br>
<br>
Btw. I think GHC-9.14 is the first GHC release with such a high second <br>
version number. We had GHC-6.12, GHC-7.10, GHC-8.10.<br>
<br>
In my memory, GHC-7 was the version range for consolidating type families, <br>
GHC-8 was the version range for consolidating kind level extensions, GHC-9 <br>
could have been the version range for dependent types, maybe GHC-10 will.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><div><br clear="all"></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>