dotgnu-general
[Top][All Lists]
Advanced

[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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]