definitions.lisp 1.62 KB
Newer Older
1 2
(in-package :alexandria)

3
(defun %reevaluate-constant (name value test)
4 5 6 7 8 9 10 11 12 13 14
  (if (not (boundp name))
      value
      (let ((old (symbol-value name))
            (new value))
        (if (not (constantp name))
            (prog1 new
              (cerror "Try to redefine the variable as a constant."
                      "~@<~S is an already bound non-constant variable ~
                       whose value is ~S.~:@>" name old))
            (if (funcall test old new)
                old
15 16 17 18 19 20 21 22 23 24
                (restart-case
                    (error "~@<~S is an already defined constant whose value ~
                              ~S is not equal to the provided initial value ~S ~
                              under ~S.~:@>" name old new test)
                  (ignore ()
                    :report "Retain the current value."
                    old)
                  (continue ()
                    :report "Try to redefine the constant."
                    new)))))))
25

26
(defmacro define-constant (name initial-value &key (test ''eql) documentation)
27 28 29 30
  "Ensures that the global variable named by NAME is a constant with a value
that is equal under TEST to the result of evaluating INITIAL-VALUE. TEST is a
/function designator/ that defaults to EQL. If DOCUMENTATION is given, it
becomes the documentation string of the constant.
31 32 33 34 35

Signals an error if NAME is already a bound non-constant variable.

Signals an error if NAME is already a constant variable whose value is not
equal under TEST to result of evaluating INITIAL-VALUE."
36
  `(defconstant ,name (%reevaluate-constant ',name ,initial-value ,test)
37
     ,@(when documentation `(,documentation))))