[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors)
From: |
Gopal V |
Subject: |
Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors) |
Date: |
Wed, 16 Oct 2002 21:33:31 +0530 |
User-agent: |
Mutt/1.2.5i |
If memory serves me right, Fergus Henderson wrote:
> BTW, I assume there is a way to run unverifiable code in pnet, right?
> If so, what is it? Is plain "ilrun foo.exe" enough?
Well the verification is needed to infer the types for conversion to
CVM ...
> 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 ?.
Gopal
--
The difference between insanity and genius is measured by success
- [DotGNU]DotGNU Weekend Warriors, Peter Minten, 2002/10/12
- 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 <=
- Re: [DotGNU]UnManaged Pointers stuff (was: Weekend Warriors), Fergus Henderson, 2002/10/17
Re: [DotGNU]DotGNU Weekend Warriors, James Michael DuPont, 2002/10/13