Hi Bulat,
the same binary that also wants to use GMP. (Of course, we could *copy* GMP, changing all the function names. That would eliminate the problem!)
isn't it rather easy task for some automated tool? i think that even existing tools may be found
I know copyrights are weak compared to patents but I do not think
i proposed this is as solution for technical problem (inability to use GMP in ghc-compiled programs due to name reuse and inability to use ghc-specific GMP in user code), not as the way to avoid copyright problems :)
Ahem... my apologies for taking it out of context. I took your comment (and Simon's) as copyright-related because I thought part of the problem with a single binary where foreign code used GHC's GMP was due to the integration of GMP's memory with the GHC RTS. Indeed it shouldn't be too difficult to change the names of the functions in GMP. -Peter