idris-hackers/idris-mode — pull request #29 by trillioneyes (2013-12-14 23:51:45+00:00)
Title: Stopped idris-load-file from unconditionally erroring

An `error` form was outside of the scope of the check for the error signalled.