>Hope to have a release ready soon. A translator that spits out IDL
>specs given Green Card 2 input will not be supplied, as the two
>approaches to describing bindings to foreign functionality are
>fundamentally different. Green Card 2 starts with a Haskell type
>signature and tries to derive the (proto)type of the external function
>from it, with the programmer making up the difference in C.
>
>The IDL compiler goes the other way, starting with an external
>specification of a function/type. It is mapped to a corresponding
>Haskell function/type, leaving the programmer to make up the
>difference this time in Haskell rather than C.
Just out of curiosity, could you give a simple example of this (an IDL spec
plus the accompanying Haskell code)?
--FC
