`agda-mode compile`: list of .el files might bitrot
andreasabel opened this issue · 0 comments
andreasabel commented
Line elFiles <- filterM doesFileExist elFiles
(last in following listing) considered harmful (error swallowing):
Lines 233 to 251 in 75d114f
agda-mode
contains a list of files that make up the emacs mode of Agda, so it is partially conscious. If one of these files is missing, there is a discrepancy between the mental model and reality, which should not be glossed over, but reported.