<div dir="ltr"><div>For the record, I'm fine either way.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 29 Jan 2024 at 10:35, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</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 dir="ltr"><blockquote class="gmail_default gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
The change itself makes sense to me, non-accumulating semantics seem like<br>
a much better default.

</blockquote><div><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">I strongly agree with this.  The current behaviour seems deeply strange, and the proposer offers evidence that it messes up users.</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><br></div><div style="font-family:tahoma,sans-serif" class="gmail_default">As to deprecation, how about this:</div><div style="font-family:tahoma,sans-serif" class="gmail_default"><ul><li>In the first release, GHC continues with the current behaviour, but *if* it finds an old file (of any kind, even in the wrong format) it emits a warning (before attempting to read it) saying</li></ul></div><div style="font-family:tahoma,sans-serif;margin-left:80px" class="gmail_default"><i>I am reading in the existing tix file, and will add hpc info from this run to the existing data in that file.  GHC 9.12 will cease looking for an existing tix file.  If you positively want to add hpc info to the current tix file, use `-fread-tix-file`</i></div><div style="font-family:tahoma,sans-serif" class="gmail_default"><ul><li>In the next release, it stops reading the file</li></ul><div>That is not onerous to implement, but it gives due warning.  Moreover, you can respond right away by saying `-fno-read-tix-file` or `-fread-tix-file` to avoid the warning.</div><div><br></div><div>Simon says <br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
I don't think a deprecation warning resolves the concern <br></blockquote><div><br></div><div>That's true of all deprecation warnings -- there will always be users who ignore them.  But we have done our duty by, well, warning them.</div><div><br></div><div>Simon<br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 25 Jan 2024 at 06:06, Moritz Angermann <<a href="mailto:moritz.angermann@gmail.com" target="_blank">moritz.angermann@gmail.com</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 dir="ltr">Dear Committee members,<div><br></div><div>In <a href="https://github.com/ghc-proposals/ghc-proposals/pull/612" target="_blank">Proposal #612</a>, David Binder suggests changing the semantics from `-fhpc` to auto-ingest</div><div>existing .tix files for accumulation, towards _not_ auto-ingesting them and instead overwriting</div><div>the .tix file with the coverage of the latest run.</div><div><br></div><div>I agree with his assessment that the current behaviour easily leads to unexpected surprises. He suggests adding a flag --read-tix-file= to control this behaviour and defaulting that to _no_, with a grace and deprecation period prior informing the user that the currently accumulating feature will change in a future GHC release.</div><div><br></div><div>Adding the flag to control this behaviour is fairly uncontroversial I hope, however I'd like you to. Weight in on the default. Should we change the default behaviour, or only add the flag?</div><div><br></div><div>I'd recommend changing the default to --read-tix-file=no after a deprecation period.</div><div><br></div><div>Best,</div><div> Moritz</div></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</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>