Archives of the Caml mailing list > Message from Jon Harrop

Browse thread

A C to OCaml helper ?

Fabrice Marchant
- Richard Jones
- Basile STARYNKEVITCH
  - Fabrice Marchant
    - Basile STARYNKEVITCH
      - Kuba Ober
        
        Sylvain Le Gall
- Christopher L Conway
- Jon Harrop

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