<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<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 class="moz-txt-link-freetext" href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11743">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 class="moz-cite-prefix">On 8.12.2023 13.33, Andreas Klebinger
via ghc-devs wrote:<br>
</div>
<blockquote type="cite"
cite="mid:181d2ee4-8580-4ac8-89f6-86552ad26932@gmx.at">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<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 class="moz-cite-prefix">Am 07/12/2023 um 14:29 schrieb Arnaud
Spiwack:<br>
</div>
<blockquote type="cite"
cite="mid:CAGwnsnnpzPxhOWks-C+GnQ4=rZ5-j4R+QCP_C4hvRPVb-w19oQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html;
charset=UTF-8">
<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"
moz-do-not-send="true" class="moz-txt-link-freetext">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"
moz-do-not-send="true" class="moz-txt-link-freetext">ghc-devs@haskell.org</a><br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs"
rel="noreferrer" target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">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"
moz-do-not-send="true" class="moz-txt-link-freetext">https://moduscreate.com</a>
and <a href="https://tweag.io" rel="noopener noreferrer"
target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">https://tweag.io</a>.</div>
</div>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated moz-txt-link-freetext" href="mailto:ghc-devs@haskell.org" moz-do-not-send="true">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
</body>
</html>