idris-hackers/idris-mode — pull request #280 by taruti (2014-12-18 09:23:01+00:00)
Title: Define and use idris-try-directory-files for unreadable directories

Currently idris-mode is broken for cases where some directory upwards from the file is not readable. E.g. /home with "drwx--x--x". This patch fixes the issue.