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 Array.create deprecation is fairly old, I think. But the two
String deprecations only appeared in the 4.x series. All are easy to
fix, but fixing the String deprecations would presumably mean we could
no longer build CIL using OCaml 3.x.
Are we willing to do that? What is the *oldest* OCaml release that we
want to be backward-compatible with? Does commit <https://github.com/c
il-project/cil/commit/6b3638fc5e79fe82e51fb19d4a909345419225ff> [Fix
Pretty module for OCaml 4.02], later revised in <https://github.com/cil
-project/cil/commit/681f17e618282436b8168278af4464036623aaf1> [Safer
fix for Pretty module] mean that we've already ended OCaml 3.x
compatibility anyway? Or were those fixes still OCaml 3.x compatible?
------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
