idris-lang/Idris-dev — pull request #1016 by SimonJF (2014-04-01 10:12:13+00:00)
Title: Fix deadlock in RTS when using allocation in native code

When marking a section of memory for allocation using requireAlloc, any
requests to the allocate function (which would generally happen from
native code, such as the SDL library) would try and acquire the same
allocation lock.

The fix makes this a reentrant lock.