7.4.1 Functionally equivalent definers

When one definition form simply macroexpands into another, or otherwise has an identical effect as far as the dspec system is concerned, the dspec system should consider them variant forms of the same class.

Use dspec:define-dspec-alias to convert one definer to the other during canonicalization. A pre-defined example of this in LispWorks is defparameter and defvar . These cannot be distinguished (other than in the source code), so defparameter has been defined as a dspec alias for defvar . However, defvar and defconstant are distinct subclasses of variable , since we can easily tell which type of definition is in effect.

As an explicit example, suppose you have a defining macro

(defmacro parameterdef  (value name)

  `(defparameter ,name ,value))

then

(dspec:define-dspec-alias parameterdef (value name)

  `(defparameter ,name))

would be a suitable appropriate alias definition.

dspec:define-dspec-alias is basically like defmacro for dspecs, so it could be used to describe even complicated conversions, as long as it can be done purely statically and totally in terms of existing dspecs. However, nothing more complicated than defparameter has been found necessary.