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? http://code.google.com/p/forklift/