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.
> 
> -- 
> https://www.greenend.org.uk/rjk/

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?

Bye Jack

--- SoupGate-Win32 v1.05