[m-rev.] for review: record_all_arguments

[Zoltan Somogyi]

On Wed, 17 Dec 2025 13:00:33 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> > What do you mean by "continue doing its job"?  Presumably, we still
> > stop at some point and complain about the bad options?
> 
> I mean doing the same job as if the bad option was not there, *except*
> for printing a diagnostic about that bad option.

I forgot to mention that the new predicate is useful even if you want to stop
if you find an error, because it lets you report *all* the option errors,
and not just the first one. I am pretty sure that we do want at least this part
of the new functionality.

Zoltan.