blob: 4248718cc6b7ed4db0a27d34ce4f96db4c319fb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
;;; haskell-flycheck.el --- Flychecker using the GHCi process
;; Copyright (c) 2014 Chris Done. All rights reserved.
;; This file is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 3, or (at your option)
;; any later version.
;; This file is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU General Public License for more details.
;; You should have received a copy of the GNU General Public License
;; along with this program. If not, see <http://www.gnu.org/licenses/>.
;;; Code:
(require 'haskell-process)
(require 'flycheck)
(defun flycheck-haskell-process-start (checker callback)
"Start a GHCi load with CHECKER.
CALLBACK is the status callback passed by Flycheck."
(let ((session (haskell-session)))
(haskell-session-current-dir session)
(let ((process (haskell-process)))
(haskell-process-queue-command
process
(make-haskell-command
:state
(list :process process
:session session
:filename (buffer-file-name)
:callback callback
:buffer (current-buffer)
:original (buffer-string))
:go
(lambda (state)
(with-current-buffer (plist-get state :buffer)
(let* ((filename (plist-get state :filename)))
(write-region (point-min) (point-max) filename)
(clear-visited-file-modtime)
(haskell-process-send-string
(plist-get state :process)
(format ":load \"%s\""
(replace-regexp-in-string
"\""
"\\\\\""
filename))))))
:live (lambda (state _)
(when (plist-get state :original)
(with-temp-buffer
(insert (plist-get state :original))
(write-region (point-min) (point-max) (plist-get state :filename))
(plist-put state :original nil))))
:complete
(lambda (state response)
(let ((session (plist-get state :session))
(process (plist-get state :process)))
(haskell-process-set-response-cursor process 0)
(let ((errors (list))
(next-error t))
(while next-error
(setq next-error
(haskell-process-errors-warnings
session
process
response
t))
(when (consp next-error)
(add-to-list 'errors
(flycheck-error-new-at
(plist-get next-error :line)
(plist-get next-error :col)
(plist-get next-error :type)
(plist-get next-error :msg)
:checker 'haskell-process
:buffer (plist-get state :buffer)))))
(funcall (plist-get state :callback)
'finished
errors)))))))))
(flycheck-define-generic-checker 'haskell-process
"A syntax and type checker for Haskell using GHCi (via the
haskell-process Emacs module)."
:start 'flycheck-haskell-process-start
:modes '(haskell-mode)
:next-checkers '((warning . haskell-hlint)))
;; Register as an auto-selectable checker
(setq flycheck-checkers (cons `haskell-process flycheck-checkers))
(provide 'haskell-flycheck)
|
