[Gcl-devel] Re: boolean is a type that declaim should know about

[Camm Maguire]

Greetings, and thanks!  This should be done now.

Take care,

Robert Boyer <address@hidden> writes:

> The form (declaim (boolean foo)) should not cause the warning:
> 
>     SIMPLE-WARNING: The declaration specifier BOOLEAN is unknown.
> 
> While you are at it, same problem for:
> 
>     bignum, nil, base-char, extended-char, base-string, simple-base-string.
> 
> More generally, I think deftype is supposed to support this sort of
> 'succinct' declamation.  For example, no warning should happen here,
> as it does in GCL:
> 
>   >(deftype foo () 'boolean)
>     FOO
>   >(declaim (foo x))
> 
>    Warning:SIMPLE-WARNING: The declaration specifier FOO is unknown.
> 
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah