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

[Julien Fischer]

On Sun, 18 Jun 2023, Julien Fischer wrote:

>
> Hi Zoltan,
>
> Another mismatch.
>
> On Sun, 11 Jun 2023, Julien Fischer wrote:
>
>>  On Thu, 8 Jun 2023, Zoltan Somogyi wrote:
>>
>>>   - bootchecks on windows, to exercise e.g. the building of .bat files.
>>
>>  I am in the process of testing things on Windows now.
>
> Attempting to build samples/diff using mmc --make using MSVC as the C
> compiler results in:
>
> Making Mercury\cs\match.c
> Making Mercury\cs\myers.c
> Making Mercury\cs\options.c
> Uncaught Mercury exception:
> Software Error: predicate
> `parse_tree.file_names.module_name_to_file_name'/9: Unexpected: FILENAME
> MISMATCH 1 for
> ext_other(other_ext(".obj"))/newext_target_obj(ext_obj_obj_opt):
> Mercury\objs\diff.obj vs Mercur
> y\os\diff.obj
>
> (A bootcheck on Windows using gcc was successful, but it uses .o as the
> object file extension, even on Windows.)

Similar failure with with --use-grade-subdirs,

$ mmc --use-grade-subdirs --make hello
Making Mercury\hlc.gc\x86_64-w64-mingw32\Mercury\cs\hello.c
Uncaught Mercury exception:
Software Error: predicate
`parse_tree.file_names.module_name_to_file_name'/9: Unexpected: FILENAME
MISMATCH 1 for
ext_other(other_ext(".obj"))/newext_target_obj(ext_obj_obj_opt):
Mercury\hlc.gc\x86_64-w64-mingw
32\Mercury\objs\hello.obj vs
Mercury\hlc.gc\x86_64-w64-mingw32\Mercury\os\hello.obj

Julien.