Replacement for GMP

[Bulat Ziganshin]

Hello Peter,

Wednesday, August 2, 2006, 10:37:23 PM, you wrote:

>>> 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 :)


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com