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

feat(emacs/lean-flycheck): "real" .clean file instead of "flycheck_real.clean"

Browse source 
Fix #140
This commit is contained in:
Soonho Kong 2014-09-08 23:48:39 -07:00
parent f39e21f90e
commit 4eb8a9b192
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -11,6 +11,8 @@
(cl-concatenate 'list
`(,(lean-get-executable lean-flycheck-checker-name))
lean-flycheck-checker-options
'("--cache")
'(source-original)
'("--")
'(source-inplace)))
@ -75,7 +77,7 @@
(tempbase (file-name-base tempname))
(tempfile (expand-file-name tempbase
(file-name-directory filename)))
(exts '(".ilean" ".d" ".clean" ".olean"))
(exts '(".ilean" ".d" ".olean"))
(tempfiles (--map (concat tempfile it) exts)))
(mapc #'flycheck-safe-delete tempfiles))))