On Fri, 22 Sep 2017 09:06:36 +0100
Richard Kettlewell  wrote:

> 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.

 Indeed a stack backtrace is not an error message, it is evidence of
a failure to anticipate, test for and handle the error - IOW evidence of
poor and lazy programming.

--
Steve O'Hara-Smith                          |   Directable Mirror Arrays
C:>WIN                                      | A better way to focus the sun
The computer obeys and wins.                |    licences available see
You lose and Bill collects.                 |    http://www.sohara.org/

--- SoupGate-Win32 v1.05