michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-flycheck.el): use -concat in lean-flycheck-command

Browse source
This commit is contained in:
Soonho Kong 2015-05-26 16:06:56 -04:00
parent 1d25f9fa06
commit c4ec89ae6d
1 changed files with 7 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/emacs/lean-flycheck.el
View file

@ -17,14 +17,13 @@
(defun lean-flycheck-command () (defun lean-flycheck-command ()
"Concat lean-flychecker-checker-name with options" "Concat lean-flychecker-checker-name with options"
(let ((command (let ((command
(cl-concatenate 'list (-concat `(,(lean-get-executable lean-flycheck-checker-name))
`(,(lean-get-executable lean-flycheck-checker-name)) lean-flycheck-checker-options
lean-flycheck-checker-options '("--cache")
'("--cache") '(source-original)
'(source-original) '((eval (lean-option-string t)))
'((eval (lean-option-string t))) '("--")
'("--") '(source-inplace))))
'(source-inplace))))
(when (string= system-type "windows-nt") (when (string= system-type "windows-nt")
(setq command (cons "python" command))) (setq command (cons "python" command)))
command)) command))