search

emacs-elsa / Elsa

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

false alarm on defcustom initialized to a value #155

Open Fuco1 opened 5 years ago

Fuco1 commented 5 years ago 
(defcustom pomidor-confirm-end-break t
  "If t ask for confirmation before ending a break and starting new a pomodoro."
  :type 'boolean :group 'pomidor)

(or (not pomidor-confirm-end-break)
                    (yes-or-no-p "Stop break and start new pomidor?"))

Elsa thinks that (not pomidor-confirm-end-break) always evaluates to nil but this is not the case since the variable is actually a boolean despite the default assignment.