<div dir="ltr">Thanks Oleg. I quite like what I'm seeing there!<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 8 Dec 2023 at 18:36, Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi">oleg.grenrus@iki.fi</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">
<div>
<p>I think Arnaud was talkin about ghc, i.e. compiler/, not about
everything (incl libraries/base e.g.).<br>
<br>
I tried, the PoC is at
<a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11743" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11743</a><br>
<br>
I needed to do `NoPolyKinds` in few modules (could give kind
signature too, but NoPolyKinds were quicker).<br>
Especially that hits hs-boot files.<br>
<br>
By doing `default-language: GHC2021`, and going through modules
with BangPatterns (and removing that, and other GHC2021
extensions), the diff stats are nice: 91 files changed, 24
insertions(+), 272 deletions(-)<br>
<br>
- Oleg<br>
</p>
<div>On 8.12.2023 13.33, Andreas Klebinger
via ghc-devs wrote:<br>
</div>
<blockquote type="cite">
<p>On a whim tried enabling it by default but it failed first
because GeneralizedNewtypeDeriving is incompatible with safe
haskell<br>
and once I disabled GeneralizedNewtypeDeriving it failed with
some error about missmatched kinds.<br>
<br>
I would welcome a patch doing this, but it's not a priority.
Especially since it doesn't seem to be as simple as changing<br>
the base language and removing some pragmas.<br>
</p>
<div>Am 07/12/2023 um 14:29 schrieb Arnaud
Spiwack:<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div>Indeed. I didn't realise the ambiguity in my wording.</div>
<div><br>
</div>
<div>I'd like for GHC to be built, with Hadrian, using GHC2021
as the base language.<br>
</div>
<br>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Thu, 7 Dec 2023 at 14:01,
Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2023@jaguarpaw.co.uk" target="_blank">tom-lists-haskell-cafe-2023@jaguarpaw.co.uk</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">On Thu, Dec 07, 2023 at
12:53:02PM +0000, Richard Eisenberg wrote:<br>
> I think this is an excellent idea! So excellent, that
we've already done it. :)<br>
> <br>
> When I try to compile with GHC 9.6.2 (what I have lying
around), GHC2021 is in effect.<br>
> <br>
> Is there something different you were thinking of?<br>
<br>
I think Arnaud meant that compilations of GHC's codebase
itself should<br>
use the GHC2021 setting.<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote>
</div>
<br clear="all">
<br>
<span class="gmail_signature_prefix">-- </span><br>
<div dir="ltr" class="gmail_signature">
<div dir="ltr">Arnaud Spiwack<br>
Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a>
and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div>
</div>
<br>
<fieldset></fieldset>
<pre>_______________________________________________
ghc-devs mailing list
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
<br>
<fieldset></fieldset>
<pre>_______________________________________________
ghc-devs mailing list
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
</div>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>