On 10/5/06, David MENTRE <[EMAIL PROTECTED]> wrote:
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? :)
> 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? :)
_______________________________________________ Demexp-dev mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/demexp-dev
