idris-lang/Idris-dev — pull request #1530 by Helkafen (2014-09-18 19:53:22+00:00)
Title: Prevent REPL from compiling to source file

When compiling from the REPL, autocomplete suggests the source file as a possible output. This patch protects the user from accidentally overwriting his source file.