Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors)

[Fergus Henderson]

On 16-Oct-2002, Gopal V <address@hidden> wrote:
> > P.S. The Mercury compiler's .NET back-end currently generates unverifiable
> > code.  There's an option to generate verifiable code, but it is not yet
> > fully implemented, and will result in slower code.
> 
> Where could I see the Mercury.Net compiler ? ... Might be interesting to
> see if it turns up any verifier bugs ?.

I recommend that you wait until the next major release of Mercury (0.11),
which is expected in the next couple of months; it should have better
support for .NET.

There's a binary distribution at 
<ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/beta-releases/mercury-rotd-2001-09-27.i686-pc-cygwin-dotnet-beta2.tar.gz>.
But that was for version beta2 of the MS .NET SDK.  I don't know whether
it works for v1.

Alternatively, you could build from the source distribution, but the
build takes a very long time, and currently it is difficult to install,
not well documented, etc.

-- 
Fergus Henderson <address@hidden>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.