[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Demexp-dev] Re: Modified wdialog-client.

From: ketty .
Subject: Re: [Demexp-dev] Re: Modified wdialog-client.
Date: Thu, 5 Oct 2006 10:57:13 +0200

On 10/5/06, David MENTRE <address@hidden> wrote:

> The whole Printf module is a big playing around with Obj.magic =)

Yes but this is done by OCaml core developers. Obj.magic is known to
be a can of worms.

Yes, but my little function is quite simple compared to something like Printf. It would be easy to formaly prove the use of Obj.magic unharmfull. Would you accept it if it came with a prof made in coq or similar? :)

reply via email to

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