[m-rev.] for post-commit review and request for tryout: simplify a test

[Julien Fischer]

On Mon, 16 Feb 2026 at 15:24, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
>
>
> On Mon, 16 Feb 2026 12:34:01 +1100, Julien Fischer <jfischer at opturion.com> wrote:
> > Using the latest commit for mercury-json
> > (<https://github.com/juliensf/mercury-json>)
> > and adding to --warn-unused-args  to MCFLAGS in src/Mercury.options and then
> > running 'make' in the src directory gives me one of the new exceptions.:
> >
> > Making Mercury/asm_fast.gc/x86_64-pc-linux-gnu/Mercury/opts/json.opt
> > Making Mercury/asm_fast.gc/x86_64-pc-linux-gnu/Mercury/cs/json.c
> > Uncaught Mercury exception:
> > Software Error: predicate
> > `transform_hlds.unused_args.may_gather_warning_pragma_for_pred'/3:
> > Unexpected: old succeeds, new fails
> > Stack dump not available in this grade.
> > ** Error making `Mercury/asm_fast.gc/x86_64-pc-linux-gnu/Mercury/cs/json.c'.
> > make: *** [Makefile:5: default] Error 1
>
> The attached committed diff fixes this problem. Please try out the
> fixed version.

That fixes the instances I encountered earlier today, although I have
just found another
instance.  I will extract a test case for you.

Julien.