`agda-mode compile`: list of .el files might bitrot

[Andreas Abel]

Line elFiles <- filterM doesFileExist elFiles (last in following listing) considered harmful (error swallowing):

agda/src/agda-mode/Main.hs

Lines 233 to 251 in 75d114f

 emacsLispFiles :: [FilePath] 
 emacsLispFiles = 
   [ "agda2-abbrevs.el" 
   , "annotation.el" 
   , "agda2-queue.el" 
   , "eri.el" 
   , "agda2.el" 
   , "agda-input.el" 
   , "agda2-highlight.el" 
   , "agda2-mode.el" 
   ] 
  
 -- | Tries to compile the Agda mode's Emacs Lisp files. 
  
 compileElispFiles :: IO () 
 compileElispFiles = do 
   dataDir <- (</> "emacs-mode") <$> getDataDir 
   let elFiles = map (dataDir </>) emacsLispFiles 
   elFiles <- filterM doesFileExist elFiles 

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.