Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Easier FFI
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-02-01 (17:13)
From: Alan Falloon <alan.falloon@m...>
Subject: Re: Easier FFI
Richard Jones wrote:
> If there was a way to
> take a block of C code, work out what types it requires (using
> something like gcc? CIL?), then you could generate compile-time
> type-safe bindings for inline C code.  That would be a marvellous
> thing to have ...

Does anyone know how forklift is coming along? That seemed like a
promising project in this direction.

Is this the authoratative web site?