[m-rev.] diff: carve string.{from,to}_int.m out of string.m

[Peter Wang]

On Wed, 16 Sep 2026 11:38:19 +0200 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 
> On Wed, 16 Sep 2026 17:47:29 +1000, Peter Wang <novalazy at gmail.com> wrote:
> > I don't remember what the "mercury__" prefix is about,
> 
> It was Fergus's idea for an implicit "mercury" package wrapper around
> the names of all the standard library modules. I don't remember its purpose,
> but it may have been simply to reduce the intrusion of the Mercury library
> into the name space available to every programmer.
> 
> > but I guess it is missing.
> 
> Are you trying to build a workspace that contains this change
> using an installed compiler that does not? If so, then the problem
> is that the installed does not know that the new module should be
> treated as part of the Mercury standard library. Installing a new
> compiler that has the updated library.m should fix i.

Right, I used an older Mercury installation (without the change)
to build a workspace with the change. Then I ran "mmake install"
in the workspace, and used the new installation to compile the test
program. The installed string.mh file must have been created by the
bootstrap compiler instead of the stage1 compiler, which is always
confusing.

The problem does not occur if I just use an installation of
rotd-2026-09-16.

Peter