Stopped idris-load-file from unconditionally erroring

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