>
> > The scenario is pretty simple. I generate C code at runtime. I compile
> it
> > to a .so. I know how many arguments it expects (but only at runtime),
> and
> > I get a FunPtr back from 'dlsym'. How do I call it?
> I feel that I might be confused about the problem, but since I don't
> see anyone direct answers -- in order to call a FunPtr, you can use
> foreign import ccall "dynamic", to create a regular function. As
> described in the library documentation for Foreign.Ptr, which I bet
> you've seen, so you know this.
You can cast the FunPtr to whatever type you like, so you can call the
> function with an argument list different from its initial declaration.
>
My problem is that I can't create a type representing what I want at the
Haskell type-check time, and I need such a type for either casting or a
foreign import. For example, let's say the function takes a number of Int
arguments between 1 and 1000. If I find out at runtime that I need a
function with 613 Int arguments, I would need to create the type (Int ->
Int ... -> IO ()) to cast to. I suppose there may be some way to create
such a dependent type with Typeable/Data.Dynamic, since it's monomorphic.
Or in theory you could dynamically generate new Haskell code to create the
type (System.Eval.Haskell)...
libffi, which Krzysztof mentioned, is a good solution:
http://www.haskell.org/haskellwiki/Library/libffi
Because it allows you to pass a list of arguments
callFFI :: FunPtr a -> RetType b -> [Arg] -> IO b
But it does introduce an extra dependency on a C library (read, deployment
liability). It "cabal install'd" the first time on my linux box, but my
mac said "The pkg-config package libffi is required but it could not be
found." (even though libffi.dylib is definitely installed globally).
Anyway, in this case it wasn't *too *painful to just generate a bunch of
extra boilerplate C functions for (1) creating a data structure to hold the
arguments, (2) loading them in one at a time, and (3) deallocating the
structure when the call is done. Yuck. But no extra dependencies.
Cheers,
-Ryan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
