idris-lang/Idris-dev — pull request #1018 by david-christiansen (2014-04-01 18:33:47+00:00)
Title: Return the name of the temp file from :exec in IDESLave

This is to allow IDESlave clients to execute it as they wish