[m-rev.] IO error handling

Volker Wysk post at volker-wysk.de
Wed Aug 17 16:34:50 AEST 2022


Hi!

What about my suggestion for better IO error handling, in mercury-
reviews, as of three day ago?

I think it would be big improvement with little effort, if just the
errno would be made accessible.

Bye
Volker



More information about the reviews mailing list