<div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Wed, 2 Jul 2025 at 20:22, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com">zoltan.somogyi@runbox.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"><br>
<br>
On Wed, 2 Jul 2025 16:54:40 +1000, Julien Fischer <<a href="mailto:jfischer@opturion.com" target="_blank">jfischer@opturion.com</a>> wrote:<br>
> The rest looks fine.<br>
<br>
Thanks for all of that. The attached diff addresses all your comments.<br></blockquote><div><br></div><div>I have one somewhat belated comment on this.</div><div><br></div><div>> diff --git a/tests/warnings/help_text.err_exp b/tests/warnings/help_text.err_exp<br>> index 56cb25734..2d33dfd0e 100644<br>> --- a/tests/warnings/help_text.err_exp<br>> +++ b/tests/warnings/help_text.err_exp<br><br>...<br><br>> @@ -385,7 +397,11 @@ Grade options<br>>  <br>>      --memory-profiling                  (grade modifier: `.memprof')<br>>          Prepare the generated code for profiling of memory usage and retention<br>> -        by mprof. This option is supported only when targeting C.<br>> +        by mprof. Please see the<br>> +        "Using mprof for profiling memory retention" section in the Mercury<br>> +        User's Guide for details.<br><br>I don't think memory rentention profiling is the main thing that memprof grades<br>are used for, so I would either say:<br><br>   Please see the "Using mprof for profiling memory allocation" and<br>   "User mprof for profiling memory retention" sections in the Mercury<br>   User's Guide for details.<br><br>or, if you have to list one only section, point to the allocation one.<br><br>Julien.</div></div></div>