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.

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

--- SoupGate-Win32 v1.05