On Fri, May 16, 2014 at 5:56 AM, <timothyhobbs@seznam.cz> wrote:
Wait, like ghc is live patching the dynamically linked version of gmp?  The solution to such madness is not to move away from gmp in any linked c libraries, but to burn the dirty hack at the stake.

The "dirty hack" is that gmp uses a single global allocation function instead of providing computations with a context, thereby potentially (and in this case actually) making distinct uses of gmp interfere with each other. This is not a bug in the FFI.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net