[Openmcl-devel] deftype list-of (recursive definition)

[Stas Boukarev]

Taoufik Dachraoui <dachraoui.taoufik at gmail.com> writes:

> Hi
>
> I would like to define a recursive type as follows:
>
> (deftype list-of (type)
>    `(or null (cons ,type (list-of ,type))))
>
> This does not work (stack overflow)
>
>
> How can define such types?
You can't. CL doesn't support them.

-- 
With best regards, Stas.