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

[Julien Fischer]

On Mon, 16 Feb 2026 at 22:47, Julien Fischer <jfischer at opturion.com> wrote:
>
> 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.

Test case attached. Compile with mmc --warn-unused-args -C zt_tree234.m
The problem appears to be related to the presence of the type_spec pragma.

Julien.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: zt_tree234.m
Type: application/octet-stream
Size: 2707 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260216/b3d9da05/attachment-0001.obj>