Hello,
We haven't found mpz_nextprime in the list of gmp functions that have
bindings in integer-gmp, and we would like to call it from a Haskell
project.
We have first looked at a few simple examples of using the FFI but found
several difficulties:
- The mapping between Integer and the C data types isn't explicited
anywhere
- The gmp function gives its result by writing it in its second
argument, instead of returning it.
Building a wrapper for it that allocates the resulting Integer
wouldn't be trivial because of how it could interact with the GC
Then we looked at how integer-gmp itself does it, it seems to be writing
lots of cmm wrappers that call inside of the GHC runtime.
Is there an easier way to build a binding for a gmp function than to
hack integer-gmp and recompile ghc ?
Thanks,
Robin Morisset & Florian Bourse
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
