search

emacs-elsa / Elsa

Emacs Lisp Static Analyzer and gradual type system.
GNU General Public License v3.0
643 stars 27 forks source link

declared defvar is reported as unbound #195

Open Fuco1 opened 1 year ago

Fuco1 commented 1 year ago 
(defvar my-custom-var-1
  (or
   (if (memq completing-read-function
             '(ido-completing-read+
               ido-completing-read
               completing-read-ido-ubiquitous
               completing-read-ido
               ido-ubiquitous-completing-read))
       'completing-read-default
     completing-read-function)
   'completing-read-default))

(defun myfun1 (arg) arg)

;; Elsa thinks the argument's type is Unbound
(myfun1 my-custom-var-1)

Related to #164