TakeV/spacemacs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Enable auto-complete in Idris repl

Browse source 
Add keybinding to kill Idris process
This commit is contained in:
Jeremy Bi 2016-06-18 13:58:57 +08:00 committed by d12frosted
parent 237d1143d1
commit 644cddca27
No known key found for this signature in database
GPG key ID: 8D33A3B1A4AF7D30
3 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
layers/+lang/idris/README.org
View file

@ -85,6 +85,7 @@ are reproduced under the local leader.
| ~SPC m s p~ | Contract the region to be loaded one line at a time |
| ~SPC m s P~ | Contract the region to be loaded one line at a time and switch to REPL in insert state |
| ~SPC m s s~ | Switch to REPL buffer |
| ~SPC m s q~ | Quit the Idris process |
** Active term manipulations

1
layers/+lang/idris/config.el
View file

@ -10,3 +10,4 @@
;;; License: GPLv3
(spacemacs|defvar-company-backends idris-mode)
(spacemacs|defvar-company-backends idris-repl-mode)

9
layers/+lang/idris/packages.el
View file

@ -15,7 +15,9 @@
(defun idris/post-init-company ()
(spacemacs|add-company-hook idris-mode)
(push 'company-capf company-backends-idris-mode))
(spacemacs|add-company-hook idris-repl-mode)
(push 'company-capf company-backends-idris-mode)
(push 'company-capf company-backends-idris-repl-mode))
(defun idris/init-idris-mode ()
(use-package idris-mode
@ -91,7 +93,7 @@
"mc" 'idris-show-core-term
;; REPL
"'" 'idris-repl
"'" 'idris-repl
"sb" 'idris-load-file
"sB" 'spacemacs/idris-load-file-and-focus
"si" 'idris-repl
@ -99,7 +101,8 @@
"sN" 'spacemacs/idris-load-forward-line-and-focus
"sp" 'idris-load-backward-line
"sP" 'spacemacs/idris-load-backward-line-and-focus
"ss" 'idris-pop-to-repl)))
"ss" 'idris-pop-to-repl
"sq" 'idris-quit)))
;; open special buffers in motion state so they can be closed with ~q~
(evil-set-initial-state 'idris-compiler-notes-mode 'motion)