[PPL-devel] Re: First part of the problem: GMP

[Vitor Santos Costa]

Hi Roberto,

> I believe that calling mp_set_memory_functions repeatedly would mean that
> we must abandon all the guarantees provided by GMP's interface.
> In fact, the following paragraph is taken from GMP's manual:
> 
>    @strong{Be sure to call @code{mp_set_memory_functions} only when there are no
>    active GMP objects allocated using the previous memory functions!  Usually
>    that means calling it before any other GMP function.}
> 

I have to think a bit about this. The functions are really not ok to
be exported right now. On the other hand what you want to do is quite
legitimate. It's a bit of the minefield, let me consider the best
alternative.

Cheers

Vitor