[m-rev.] for review: start using the new code in file_names.m

[Julien Fischer]

Hi Zoltan,

Some updates on this.

On Thu, 8 Jun 2023, Zoltan Somogyi wrote:

> On 2023-06-07 13:37 +02:00 CEST, "Julien Fischer" <jfischer at opturion.com> wrote:
>> I will set up some bootchecks using the infrastructure I use to test the
>> releases.  (If you have specific things you want to check let me know,
>> the machine I am using will be considerably quicker than the one that
>> runs the nightly tests.)
>
> Thanks for that. The things I think should be done that my laptop cannot do
> in a reasonably manner, or at all, are
>
> - bootchecks in csharp and java grades *without* -jN, so that we don't get
>  effectively random failures from the compiler trying to read files that another
>  compiler invocation hasn't written yet. This should allow checking whether
>  this diff introduces any *new* test case failures.
>
>  By the way, my java bootcheck finished with the expected number of failures.

I did not encounter any issues when bootstrapping in the Java grade.

> - bootchecks on windows, to exercise e.g. the building of .bat files.

I am in the process of testing things on Windows now.

> - likewise, bootchecks on MacOS.

Done in hlc.gc and none.gc.debug.stseg; no issues encountered.

> - bootcheck in a .prof grade, to check the .prof extension. (The deep profiler
>  is not affected by the changes in file_names.m.)

I have done a series of bootchecks in a bunch of hlc* grades (including
hlc.gc.prof) and have not encountered any issues.

> - bootchecks in setups that set the options affecting the code of file_names.m,
>  the ones named in the option_extensions function in file_names.m, to any
>  nondefault value. I don't have much expectation that you or anyone else in the
>  Mercury group has any significant experience with these, but one can hope ...
>
> I would be gradeful if you could do any fraction of these.
>
>> I will also check the effects of this change on the Opturion code base.

I have sent you a program off-list that demonstrates two problems I
found when attempting to compile G12.

Julien.