idris-lang/Idris-dev — pull request #561 by david-christiansen (2013-10-24 13:59:32+00:00)
Title: Add an exception handler to main

This solves #560. Also, failure to load a file is now a semantically meaningful error object.