[m-rev.] Small bug in io.file.m

[Julien Fischer]

Hi Volker,

On Tue, 14 Mar 2023, Volker Wysk wrote:

> In io.file.m, line 839:
>
>    is_error(Error, "can't find file type: ", MaybeIOError, !IO),
>
> This doesn't include the file name in the IOError, like it's common.

In the current io module and its submodules, the generation of I/O error
messages is entirely up to the I/O facilities of the target platform. In
the above case, FileName is passed to file_type_2/6, which is the
predicate that creates the value Error; some target will mention the
file name (e.g. in the C# and Java grades), some don't seem to (e.g.
Linux / glibc).

Julien.