[m-rev.] for review: --reverse-error-context-order

[Julien Fischer]

On Tue, 1 Nov 2022, Zoltan Somogyi wrote:

> For review by anyone. One question is: should the new option
> be mentioned in NEWS?

Yes.

...

> Add the new option --reverse-error-context-order.

I suggest just naming it --reverse-error-order.

> 
> compiler/options.m:
> doc/user_guide.texi:
>     As above.
> 
> compiler/error_sort.m:
>     Implement the new option.


That's fine otherwise.

Julien.