ghc-modi takes "cmd arg".

This commit is contained in:
Kazu Yamamoto
2014-03-24 17:32:06 +09:00
parent 9b629a0afb
commit 9b67baafba
2 changed files with 25 additions and 15 deletions

View File

@@ -61,7 +61,7 @@
(setq ghc-check-original-file file)
(erase-buffer)
(let ((pro (ghc-check-get-process cpro name buf)))
(process-send-string pro (concat file "\n"))))))))
(process-send-string pro (concat "check " file "\n"))))))))
(defun ghc-check-get-process-name ()
(let ((file (buffer-file-name)))