[m-rev.] for review: filename extensions

[Julien Fischer]

On Sat, 15 Aug 2020, Zoltan Somogyi wrote:

> 2020-08-15 00:28 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>> No, it's now:
>>
>>     Uncaught Mercury exception:
>>     Software Error: predicate `parse_tree.file_names.choose_file_name'/9:
>>     Unexpected: unknown extension `ints'
>>     Stack dump not available in this grade.
>>     gmake[1]: *** [libmer_std.install] Error 1
>
> Silly me, I diagnosed the problem incorrectly. Try this second patch.

Yep, that one works.  (Tested with all non-C grades and a couple of C
grades.)

Julien.