[m-rev.] for review: finish the "solution" of Mantis bug #585

[Julien Fischer]

Hi,

This change has broken standard library compilation in
asm_fast.gc.declddebug.stseg.tr
(as per the latest build on testing.mercurylang).

/home/jfischer/mercury-install/rotds/rotd-2026-09-15/bin/mmc
--make-optimization-interface --grade asm_fast.gc.decldebug.stseg.tr
 --mercury-linkage shared --flags LIB_FLAGS   --flags INTER_FLAGS
uint16
term_io.m:821: Sorry: the compiler cannot compile predicate
term_io.m:821:   `term_io.starts_with_digit'/1 with debugging enabled. This is
term_io.m:821:   due to a known limitation that concerns the mapping between
term_io.m:821:   typeclass on the one hand, and the hidden, compiler-generated
term_io.m:821:   variables storing information about them on the other hand.

Julien.

On Mon, 14 Sept 2026 at 02:16, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> For review by Peter.
>
> Zoltan._______________________________________________
> reviews mailing list
> reviews at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/reviews