max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(emacs/lean-server): emacs 24 compatibility

Browse source
This commit is contained in:
Gabriel Ebner 2017-03-24 16:26:16 +01:00 • committed by Leonardo de Moura
parent 69f0d30452
commit 122355aa32
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -238,7 +238,7 @@
(when lean-server-show-pending-tasks
(let* ((tasks (if lean-server-session (lean-server-session-tasks lean-server-session)))
(cur-fn (buffer-file-name))
(roi (if lean-server-session (alist-get cur-fn (lean-server-session-current-roi lean-server-session)))))
(roi (if lean-server-session (cdr (assq cur-fn (lean-server-session-current-roi lean-server-session))))))
(dolist (task (plist-get tasks :tasks))
(if (and (equal (plist-get task :file_name) cur-fn)
(--any? (<= (max (car it) (plist-get task :pos_line))
@ -383,7 +383,7 @@
roi))))
(defun lean-server-roi-subset-p (as bs)
(--all? (let ((b (alist-get (car it) bs)))
(--all? (let ((b (cdr (assq (car it) bs))))
(and b (-all? (lambda (ar) (--any? (and (<= (car it) (car ar))
(<= (cdr ar) (cdr it)))
b))