Add .ibc to ignored file extensions

[nickdrozd]

In my config I have

(add-to-list 'completion-ignored-extensions ".ibc")
(add-to-list 'dired-omit-extensions ".ibc")

but that seems like something idris-mode might take care of itself.

There are probably other similar lists to which .ibc could be added.

[david-christiansen]

I would prefer that installing a mode didn't make changes to my global Emacs config. Why would this be something that idris-mode should do? Den tor. 25. apr. 2019 kl. 07.00 skrev Nick Drozd <notifications@github.com

…

: In my config I have (add-to-list 'completion-ignored-extensions ".ibc") (add-to-list 'dired-omit-extensions ".ibc") but that seems like something idris-mode might take care of itself. There are probably other similar lists to which .ibc could be added. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#501>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAA4FASX77FHXZUYQOPJEEDPSG2QTANCNFSM4HINNYZQ> .

[nickdrozd]

Besides Idris, I have used three other languages that mix compiled files in with source files: C (.o), Elisp (.elc), and Python 2 (.pyc). All three of these are added to completion-ignored-extensions in bindings.el (dired-omit-extensions copies this and adds a few more). C and Elisp could be considered special cases, but the fact that Python bytecode files are ignored by default suggests that compiled files in general ought to be ignored by default. .ibc could be ignored at the Emacs level, or the mode could take care of it, but it seems like the user shouldn't need to.

But then again my experience is limited to those languages. Does Haskell produce compiled files like Idris? I don't know how this is normally handled.

[david-christiansen]

It looks like haskell-mode does the same thing for .hi files: haskell/haskell-mode@2af92ec

Since @purcell is setting this up, I think we can be confident that it's a reasonable thing to do :)