[m-rev.] for review: split_file, and an upcoming diff

[Julien Fischer]

On Mon, 9 Mar 2020, Zoltan Somogyi wrote:

> I wrote a small utility program to help me split up a Mercury module.
> Since I found it useful, I am proposing to add it to the extras,
> in a new directory. The attachment contains the proposed
> three files in that directory. I am not posting a diff because
> that would require at least a "git add -N" on the extras directory,
> and one of the things I am seeking feedback on is the name
> of the tool, which should also be the name of that directory.

There is no attachment on this mail.

...

> I expect the diff to be ready for review tomorrow or wednesday.
> It already bootchecks with -O5 --intermodule-optimization;
> I am just polishing the programming style and the comments.
> Does anyone want to volunteer to review it?

Sure.

Julien.