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

[Zoltan Somogyi]

On 2023-06-07 18:44 +02:00 CEST, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> IIRC, the only reason that the --java-object-file-extension option exists is
>> because we copied the corresponding C options when doing the initial setup for
>> the Java backend. Since the Java compiler doesn't provide a way of letting you
>> specify the output class name anyway, the existence of a Mercury compiler option
>> to change it seems a bit pointless. We should delete the option.
> 
> OK, I will do so in a separate change.

This is that change. The only part worth reviewing is the two new lines
in NEWS.md.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.fn17
Type: application/octet-stream
Size: 274 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20230611/bda85a43/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.fn17
Type: application/octet-stream
Size: 5245 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20230611/bda85a43/attachment-0001.obj>