Expanding a derived type spec

[Marco Antoniotti]

Hi

I am pretty sure this is not standardized.

Suppose I have

(deftype non-negative-integer ()
'(integer 0 *))

or

(deftype square-matrix (n)
`(array * (,n ,n))

How do I get the "expansion" of NON-NEGATIVE-INTEGER or of
(SQUARE-MATRIX 3) in different Lisp implementations?

Cheers
--
Marco

[Kalle Olavi Niemitalo]

Marco Antoniotti <mar...@cs.nyu.edu> writes:

> How do I get the "expansion" of NON-NEGATIVE-INTEGER or of
> (SQUARE-MATRIX 3) in different Lisp implementations?

CMUCL 18e: (kernel:type-expand '(square-matrix 3))
SBCL 0.8.20.5: (sb-kernel:type-expand '(square-matrix 3))
CLISP 2.33.2: (ext:type-expand '(square-matrix 3))

Of these, only CLISP takes an optional environment argument, even
though a deftype lambda list (Section 3.4.8) allows &ENVIRONMENT.

[Thomas A. Russ]

MCL:
ccl::type-expand Single argument of the form.

--
Thomas A. Russ, USC/Information Sciences Institute