Re: [CIL users] deprecated functions vs. oldest supported OCaml version

Le 2015-09-22 02:17, Ben Liblit a écrit : > Does commit il-project/cil/commit/6b3638fc5e79fe82e51fb19d4a909345419225ff> [Fix > Pretty module for OCaml 4.02], later revised in > -project/cil/commit/681f17e618282436b8168278af4464036623aaf1> [Safer >

[CIL users] deprecated functions vs. oldest supported OCaml version

Compiling the latest CIL code from the "develop" github branch ( https://github.com/cil-project/cil/tree/develop) using OCaml 4.02 produces several warnings about deprecated functions: 11 warnings about Array.create 2 warnings about String.copy 15 warnings about String.set The Arr