chore(emacs): fix cask warnings

.gitignore

@@ -1 +1,2 @@
 .cask
+*.elc

Cask

@@ -3,6 +3,7 @@
 (package-file "lean-mode.el")
 (development
  (depends-on "cl-lib")
+ (depends-on "company")
  (depends-on "dash" 2.8.0)
  (depends-on "dash-functional" "1.1.0")
  (depends-on "ert-runner")

lean-debug.el

@@ -10,23 +10,23 @@
 (defun lean-turn-on-debug-mode (&optional print-msg)
   (interactive)
   (when (eq major-mode 'lean-mode)
-    (when (or (called-interactively-p) print-msg)
+    (when (or (called-interactively-p 'any) print-msg)
       (message "lean: turn on debug mode"))
     (get-buffer-create lean-debug-buffer-name)
     (setq-local lean-debug-mode t)))
 
 (defun lean-turn-off-debug-mode (&optional print-msg)
   (interactive)
   (when (eq major-mode 'lean-mode)
-    (when (or (called-interactively-p) print-msg)
+    (when (or (called-interactively-p 'any) print-msg)
       (message "lean: turn off debug mode"))
     (setq-local lean-debug-mode nil)))
 
 (defun lean-toggle-debug-mode ()
   (interactive)
   (if lean-debug-mode
-      (lean-turn-off-debug-mode (called-interactively-p))
-    (lean-turn-on-debug-mode (called-interactively-p))))
+      (lean-turn-off-debug-mode (called-interactively-p 'any))
+    (lean-turn-on-debug-mode (called-interactively-p 'any))))
 
 (defun lean-output-to-buffer (buffer-name format-string args)
   (with-current-buffer

lean-flycheck.el

@@ -5,7 +5,7 @@
 ;;
 ;; Author: Soonho Kong
 ;;
-
+(require 'flycheck)
 (require 'lean-settings)
 (require 'lean-server)
 
@@ -50,15 +50,15 @@
 (defun lean-flycheck-turn-on ()
   (interactive)
   (unless lean-flycheck-use
-    (when (interactive-p)
+    (when (called-interactively-p 'any)
       (message "use flycheck in lean-mode"))
     (setq lean-flycheck-use t))
   (flycheck-mode t))
 
 (defun lean-flycheck-turn-off ()
   (interactive)
   (when lean-flycheck-use
-    (when (interactive-p)
+    (when (called-interactively-p 'any)
       (message "no flycheck in lean-mode")))
   (flycheck-mode 0)
   (setq lean-flycheck-use nil))

lean-mode.el

@@ -39,7 +39,7 @@
 (defun lean-execute (&optional arg)
   "Execute Lean in the current buffer"
   (interactive)
-  (when (called-interactively-p)
+  (when (called-interactively-p 'any)
     (setq arg (read-string "arg: " arg)))
   (let ((target-file-name
          (or
@@ -78,7 +78,7 @@
           (if (looking-at "->") t nil))))))
 
 (defun lean-tab-indent ()
-  (cond ((looking-back (rx line-start (* white)))
+  (cond ((looking-back (rx line-start (* white)) nil)
          (eri-indent))
         (t (indent-for-tab-command))))