define-dspec-alias

Macro

Summary

Informs the dspec system that a definer expands into a another definer.

Package

dspec

Signature

define-dspec-alias
name
lambda-list
&body
body

Arguments

name

A symbol naming a definer.

lambda-list

A list representing the
cdr
of a
name
dspec.

body

Forms evaluated to yield a dspec.

Description

The macro define-dspec-alias works rather like deftype. Dspecs whose
car
is
name
should have a structure like
lambda-list
. They will be canonicalized into the dspec returned by
body
.

define-dspec-alias
is useful when you add a new way of making existing definitions with a new defining form that expands into a system-provided defining form. The dspec system should consider the new and system-provided definers as variant forms of the same dspec class.
define-dspec-alias
is used to convert one of them to the other during canonicalization by canonicalize-dspec.