From 122355aa329407584e2cdbd9b757b4792c41c113 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Fri, 24 Mar 2017 16:26:16 +0100 Subject: [PATCH] fix(emacs/lean-server): emacs 24 compatibility --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index c11c216856..66ee41d63d 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -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))