Fabrice Marchant wrote:
> Please does it exist some tool that could do at least the very mechanical first parts of the translation of a C source to OCaml ?

Why do you want to do that?

You could call most of your C routines from Ocaml.

And most importantly, the main interest of ocaml is the way of thinking 
it. When mastered, it is a language much more expressive & much more 
fun. And no mechanical translation would give you that....

If it is a homework, better to start thinking & coding in Ocaml, than to 
translate blindly C into Ocaml.

And a blind translation won't learn anything about Ocaml or functional 
programming.
-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***