<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>(re-sending with replay-all this time)<br>
<br>
Hi Simon, thank you for your concern.<br>
<br>
Regarding the compiler compilation:<br>
I often have to re-run ./configure and ./boot between development
phases (usually spaced by one or two weeks), which prevents me
from benefiting from `--freeze1` from the get-go.<br>
The flavour I use is `Quick`, as it is advertised on <a
class="moz-txt-link-freetext" href="https://ghc.dev">https://ghc.dev</a>.
<br>
The technique I use now is to restrict the `-j` parameter to 1 or
2. I can go above for night builds, but if I want to keep my
system usable, this is how it goes.<br>
This takes 47m07s according to Hadrian.<br>
<br>
Moreover, modern computers have a BIOS setting that shuts down the
computer when the temperature is too high (between 70°C and 100°C
I believe). I ended up upping this limit in my BIOS some time ago,
but I wish I didn't need to.<br>
(and yes I do frequently remove the dust ;)<br>
<br>
Regarding documentation contribution, <br>
The time it takes to run `<font face="monospace">hadrian/build -j
--flavour=Quick</font>` *plus* `<font face="monospace">hadrian/build
-j2 --freeze1 --flavour=Quick docs --docs=no-sphinx-pdfs</font>
` in order to render the haddocks is way too high for occasional
contributors.<br>
<br>
I started a process while writing this email, in order to get
fresh and accurate numbers, and here is what I got in return:<br>
<font face="monospace"><br>
juil. 19 19:37:21 elatha systemd[1759]:
app-kitty-dedaa3d5a1ee43dd8b2552b7afd53cd5.scope: systemd-oomd
killed 36 process(es) in this unit.<br>
juil. 19 19:37:21 elatha systemd-oomd[682429]: Killed
/user.slice/user-1000.slice/user@1000.service/app.slice/app-kitty-dedaa3d5a1ee43dd8b2552b7afd53cd5.scope
due to memory used (16192806912) / total (16358338560) and swap
used (8102125568) / total (8589930496) being more than 90.00%</font><br>
</p>
<p><br>
Now regarding HLS, I remember that a point of marketing for it is
that it supports GHC. Considering the very skilled people who hold
the wheel of HLS development, my first (nor second) reflex isn't
to doubt them. So yes I believe I must disable HLS when working on
GHC, but then how do we spread this kind of information /
work-around while at the same time saying "but HLS is still
reliable, pinky swear, it's just that it doesn't scale". <br>
</p>
I do not doubt that HLS does some heavy stuff and I'm truly grateful
for all the times where it detects unused imports, unused
extensions, and even inserts import lines for me! But I find it hard
to promote HLS whilst also putting an asterisk that says "Provided
that you can afford it". <br>
<br>
This is pretty much all I can observe. I'd be more than happy to
have better observability into the build process, though! <br>
I'm not too desperate for the future, because chatting with Bryan
gave me hope for progress in that area.
<div class="moz-cite-prefix">Le 19/07/2022 à 18:29, Simon Peyton
Jones a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAJKmMz-VjrOKskORcYh_tqVgOkBiFCxDGpam+u+jvF-enu+=mg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div class="gmail_default" style="font-family:tahoma,sans-serif">That's
bad Hecate. We need GHC to be fun to work with, not a pain.<br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif">Can
you be (much) more specific? The more concrete the problem,
the more likely we can address it. <br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif">e.g.
What if you don't use HLS? Or maybe Hadrian is building much
more than you need? It would be super helpful to have more
information. There may be things we can't reasonably address
(e.g. make a small, light, non-optimising compiler instead,
throwing away most of the code base) but I bet that sheer size
isn't the only factor.<br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks!</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default" style="font-family:tahoma,sans-serif">Simon</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Tue, 19 Jul 2022 at 17:21,
Hécate <<a href="mailto:hecate@glitchbra.in"
moz-do-not-send="true" class="moz-txt-link-freetext">hecate@glitchbra.in</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">Hello
ghc-devs,<br>
<br>
I hadn't made significant contributions to the GHC code base
in a while, <br>
until a few days ago, where I discovered that my computer
wasn't able to <br>
sustain running the test suite, nor handle HLS well.<br>
<br>
Whether it is my OS automatically killing the process due to
oom-killer <br>
or just the fact that I don't have a war machine, I find it
too bad and <br>
I'm frankly discouraged.<br>
This is not the first time such feedback emerges, as the
documentation <br>
task force for the base library was unable to properly onboard
some <br>
people from third-world countries who do not have access to
hardware <br>
we'd consider "standard" in western Europe or some parts of
North <br>
America. Or at least "standard" until even my standard stuff
didn't cut <br>
it anymore.<br>
<br>
So yeah, I'll stay around but I'm afraid I'm going to have to
focus on <br>
projects for which the feedback loop is not on the scale of
hours , as <br>
this is a hobby project.<br>
<br>
Hope this will open some eyes.<br>
<br>
Cheers,<br>
Hécate<br>
<br>
-- <br>
Hécate ✨<br>
🐦: @TechnoEmpress<br>
IRC: Hecate<br>
WWW: <a href="https://glitchbra.in" rel="noreferrer"
target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">https://glitchbra.in</a><br>
RUN: BSD<br>
<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>
</blockquote>
<pre class="moz-signature" cols="72">--
Hécate ✨
🐦: @TechnoEmpress
IRC: Hecate
WWW: <a class="moz-txt-link-freetext" href="https://glitchbra.in">https://glitchbra.in</a>
RUN: BSD</pre>
</body>
</html>