[cdr-discuss] Issues with DEFTYPE

[Pascal Costanza]

On 12 Aug 2008, at 09:48, Nikodemus Siivola wrote:

> On Mon, Aug 11, 2008 at 9:56 PM, Pascal Costanza <pc at p-cos.net> wrote:
>
>> Maybe I'm missing something...
>
> The ability to derive the type of both CAR and CDR of an INT-LIST  
> (or whatever).

...when you add recursion to type specifiers, you won't be able to do  
that in the general case anymore as well.

Pascal

-- 
Pascal Costanza, mailto:pc at p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium