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

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