[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors)
From: |
Fergus Henderson |
Subject: |
Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors) |
Date: |
Fri, 18 Oct 2002 13:20:33 +1000 |
User-agent: |
Mutt/1.3.28i |
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.
- Re: [DotGNU]DotGNU Weekend Warriors, (continued)
- Re: [DotGNU]DotGNU Weekend Warriors, Jonathan P Springer, 2002/10/12
- Re: [DotGNU]DotGNU Weekend Warriors, Gopal V, 2002/10/14
- Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors), Rhys Weatherley, 2002/10/15
- Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors), Fergus Henderson, 2002/10/15
- Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors), Rhys Weatherley, 2002/10/15
- Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors), Gopal V, 2002/10/16
- Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors),
Fergus Henderson <=
Re: [DotGNU]DotGNU Weekend Warriors, James Michael DuPont, 2002/10/13