[m-rev.] for post-commit review: converting extensions to strings

[Zoltan Somogyi]

On 2023-06-21 14:39 +02:00 CEST, "Julien Fischer" <jfischer at opturion.com> wrote:
> 
> On Wed, 21 Jun 2023, Zoltan Somogyi wrote:
> 
>> For review by anyone.
> 
> The sufficiently recent test in the configure script now fails with:
> 
>    Uncaught Mercury exception:
>    Software Error: predicate
>    `parse_tree.file_names.ext_lib_gs_extension'/2: Unexpected: ext_lib_gs_lib_opt
>    Stack dump not available in this grade.

The attached diff, which I just committed, fixes this.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.fn22
Type: application/octet-stream
Size: 426 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20230622/31f5c158/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.fn22
Type: application/octet-stream
Size: 11496 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20230622/31f5c158/attachment-0001.obj>