search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268 stars 70 forks source link

Add .ibc to ignored file extensions #501

Open nickdrozd opened 5 years ago

nickdrozd commented 5 years ago

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 commented 5 years ago

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 https://github.com/idris-hackers/idris-mode/issues/501, or mute the thread https://github.com/notifications/unsubscribe-auth/AAA4FASX77FHXZUYQOPJEEDPSG2QTANCNFSM4HINNYZQ .

nickdrozd commented 5 years ago

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 commented 5 years ago

It looks like haskell-mode does the same thing for .hi files: https://github.com/haskell/haskell-mode/commit/2af92ecd4868e35b9a556af55d08d34399b554e0

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