Archives of the Caml mailing list > Message from Christopher L Conway

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:	2008-03-13 (01:56)
From:	Christopher L Conway <cconway@c...>
Subject:	Re: [Caml-list] A C to OCaml helper ?

You could try writing a CIL visitor that outputs an OCaml
transliteration (http://hal.cs.berkeley.edu/cil/). How well that would
work depends on what your C source code looks like.

Chris

On Wed, Mar 12, 2008 at 3:42 PM, Fabrice Marchant
<fabrice.marchant@orange.fr> 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 ?
>
>   Thanks,
>
>  Fabrice
>
>  _______________________________________________
>  Caml-list mailing list. Subscription management:
>  http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>  Archives: http://caml.inria.fr
>  Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>  Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>