Jack wrote:

> It's not cryptical at all, it tells you
> exactly what happened. The fact that you
> can't understand what it tells you is
> completely another matter.

It tells me too much and too little.
When something goes wrong one expects an error
message, like in C, zsh, Lisp, or whatever, not
a novel which cannot even say where it
happened:

    Write fault on path
    /home/incal/dafny-dafny/dafny/Binaries/[Unknown]

> The best thing is to ask directly to
> dafny support.

I'm starting to thing this whole Mono idea
stinks as much as dafny. The fact that you
defend it in an unpleasant way just makes my
initial hunch all the stronger. I think I'll
just use the ridiculous web interface, be done
with it, and never look back.

--
underground experts united
http://user.it.uu.se/~embe8573

--- SoupGate-Win32 v1.05