idris-lang/Idris-dev — pull request #1636 by victoredwardocallaghan (2014-10-14 16:20:19+00:00)
Title: rts/idris_rts.c: Fix referenced after allocation that may moved away

Fixes issue #1610

Signed-off-by: Edward O'Callaghan