Version française
Home     About     Download     Resources     Contact us    
Browse thread
A C to OCaml helper ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] A C to OCaml helper ?
On Wednesday 12 March 2008 19:42:17 Fabrice Marchant wrote:
>   Hi !
>
> 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 ?

I do not believe such a tool exists but it would be a great educational 
exercise to try and write one. I can't think of any particularly difficult 
aspects. Maybe goto statements but they can be compiled to nested functions 
that call each other.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e