--- layout: fc_discuss_archives title: Message 5 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,

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