fix: Run GHCi-workaround /after/ switching to REPL buffer

This simply changes the advice position. This way around makes more
sense in case that the REPL is just being started up.
This commit is contained in:
Vincent Ambo 2018-09-12 11:38:04 +02:00 committed by Vincent Ambo
parent bab9f15a33
commit ee143eaf14

View file

@ -254,9 +254,9 @@ Including indent-buffer, which should not be called automatically on save."
;; is selected. ;; is selected.
;; ;;
;; Upstream issue: https://github.com/commercialhaskell/intero/issues/569 ;; Upstream issue: https://github.com/commercialhaskell/intero/issues/569
(advice-add 'intero-repl :before (lambda (&rest r) (intero-fix-ghci-panic)) (advice-add 'intero-repl :after (lambda (&rest r) (intero-fix-ghci-panic))
'((name . intero-panic-fix))) '((name . intero-panic-fix)))
(advice-add 'intero-repl-load :before (lambda (&rest r) (intero-fix-ghci-panic)) (advice-add 'intero-repl-load :after (lambda (&rest r) (intero-fix-ghci-panic))
'((name . intero-panic-fix))) '((name . intero-panic-fix)))
(provide 'functions) (provide 'functions)