blob: ef3a3c403310e5bc89b0ae6b1f98991d679bea73 (
plain) (
blame)
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
|
;;; my-hiedb.el -- Extensions for hiedb -*- lexical-binding: t -*-
;; Copyright (C) 2023 Free Software Foundation.
;; Author: Yuchen Pei <id@ypei.org>
;; Package-Requires: ((emacs "28.2"))
;; This file is part of dotfiles.
;; dotfiles is free software: you can redistribute it and/or modify it under
;; the terms of the GNU Affero General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or
;; (at your option) any later version.
;; dotfiles 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 Affero General
;; Public License for more details.
;; You should have received a copy of the GNU Affero General Public
;; License along with dotfiles. If not, see <https://www.gnu.org/licenses/>.
;;; Commentary:
;; Extensions for hiedb.
;;; Code:
;;; to use, do for example:
;; (add-hook 'haskell-mode-hook
;; (lambda ()
;; (add-hook 'xref-backend-functions
;; #'hiedb--xref-backend nil t)))
(defun hiedb--xref-backend () 'hiedb)
(cl-defmethod xref-backend-definitions
((_backend (eql hiedb)) _identifiers)
(my-hiedb-call-point-defs buffer-file-name
(1+ (current-line)) (1+ (current-column)))
(my-hiedb-parse-point-defs-output
(file-name-directory buffer-file-name)
(with-current-buffer "*hiedb*"
(goto-char (point-min)) (kill-line) (kill-line)
(buffer-string))
))
(defun my-hiedb-call-point-defs (file line col)
(let ((dir (file-name-directory file))
(module-name (file-name-base file)))
(with-current-buffer (get-buffer-create "*hiedb*")
(erase-buffer))
(call-process "hiedb" nil "*hiedb*" nil
"-D"
(format "%sdefault.hiedb" dir)
"point-defs" module-name
(number-to-string line)
(number-to-string col))))
(defun my-hiedb-parse-point-defs-output (dir output)
"module-name:line-begin:col-begin-line-end:col-end"
(pcase-let ((`(,module-name ,line-beg ,col-beg, line-end, col-end)
(split-string output "[:-]" (print output))))
(list
(xref-make-match
"" (xref-make-file-location
(format "%s%s.hs" dir module-name)
(string-to-number line-beg)
(string-to-number col-beg))
(- (string-to-number col-end) (string-to-number col-beg))))))
(provide 'my-hiedb)
;;; my-hiedb.el ends here
|
