jack4747@gmail.com writes:

> Il giorno venerdì 22 settembre 2017 10:06:38 UTC+2, Richard Kettlewell
> ha scritto:
>> jack4747@gmail.com writes:
>> > Il giorno venerdì 22 settembre 2017 06:23:56 UTC+2, Emanuel Berg ha
scritto:
>> >> However all said and done I got this, more
>> >> cryptical message:
>> >>
>> >> [ERROR] FATAL UNHANDLED EXCEPTION: System.AggregateException: One or
>> >> more errors occurred. ---> System.IO.IOException: Write fault on
>> >> path /home/incal/dafny-dafny/dafny/Binaries/[Unknown]
>> >
>> > It's not cryptical at all, it tells you exactly what happened.
>>
>> Go on, then, what actually happened? Specifically, what system call was
>> issued and what errno value was returned?
>>
>> I’ve poked around inside the implementation of Mono, so I know where to
>> look to get an answer. I’d agree with ‘cryptical’, though: an error
>> message that requires the reader to study a language runtime in order to
>> comprehend it is in no way clear.
>
> the issue is that it tries to write at a location and for some reason
> it can't and the exception is not handled correctly: programmer fault.
> And probably the user did something wrong when installing the program.
>
> Or a "segmentation fault" or "Exit with error 3" would have been better?

It’s not writing to a location, it’s writing to a pipe or socket. The
‘some reason’ is that the other endpoint of the pipe has been closed.

The filename in the diagnostic is not just cryptic, it is misleading,
since it’s unrelated to what actually went wrong.

--
https://www.greenend.org.uk/rjk/

--- SoupGate-Win32 v1.05