--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0



Hello Boris,

On Wed, Sep 12, 2012 at 2:21 AM, Boris Yakobowski <boris at yakobowski.org> wrote:
> Hello,
>
> Thanks for packaging Frama-C, and for this thorough bug-searching !
>
> Based on our own (painful) migration to OCaml 4.00, I think another
> bug awaits you. Frama-C hardcodes the Caml representation of some
> datatstructures of the standard library, such a hash tables and sets.
> Hash tables have gained two fields since OCaml 3.12.1, so this code no
> longer works. If you choose to package a combo Nitrogen+OCaml 4.00, I
> could probably provide you with some partial patches extracted from
> our trunk to fix this.
>
> HTH,
>
> --
> Boris Yakobowski

I'm not sure I understand.  Do you mean something more is necessary
than the addition of the reset and stats functions?  I added those two
in the patch attached to my first message.

Regards,
-- 
Jerry James
http://www.jamezone.org/