[m-rev.] for post-commit review: improve list.m comments

[Julien Fischer]

On Tue, 3 Mar 2026 at 05:13, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> diff --git a/library/list.m b/library/list.m
> index bf2414d53..77b1cec69 100644
> --- a/library/list.m
> +++ b/library/list.m
> @@ -433,8 +433,9 @@
>
>      % det_replace_nth(List0, N, R) = List:
>      %
> -    % True if-and-only-if List is List0 with its N'th element replaced with R.
> -    % Throws an exception if N < 1 or if length of List0 < N.
> +    % Succeed if-and-only-if List is List0 with its N'th element
> +    % replaced with R.

This is a det function, so something like.

      Replace the N'th element of of List0 with R and return the result as
      List.

would be more appropriate.

Julien.