Default settings for REPL

[justjoheinz]

I prefer to work in the REPL with :set showimplicits, because as a beginner it helps me tremendously to understand Idris.

It would be nice, if either there could be a setting (text field) which contains commands to initialize the REPL with, or a checkbox in the settings to enable :set showimplicits.

It currently works to enter this in the REPL, but in my opinion it would be nice to automate this, maybe even on a per project base.

[jackolantern]

On unix the Idris REPL can be configured by editing $HOME/.idris/repl/init but it appears that the REPL in atom does not read this file when it starts up. I suppose that this is because many REPL commands, such as colour, do not work in the atom REPL.

Still, it would be nice if this file were used, or possibly a file in $HOME/.atom/packages/language-idris/.

EDIT:

After reading up on it, the REPL in atom is an --ide-mode REPL, and so it does not read repl/init. There is some discussion here: https://github.com/idris-lang/Idris-dev/pull/3415

[david-christiansen]

The intention with the IDE mode is that the IDE provides settings for the various Idris features, rather than having it come in through some mix of IDE and dotfiles. Adding an "Idris settings" menu to Atom shouldn't be that much work - it was about 100 lines of elisp for the Emacs mode, for instance.