[Gcl-devel] Re: subtypep

[Camm Maguire]

Greetings, and thanks!  Should be fixed now.

Take care,

Robert Boyer <address@hidden> writes:

> I'm not real solid on SATISFIES, but the following can't be right.  As I
> understand it, when subtypep returns a second argument of T, that is saying
> that the result is certain.  But nothing satisfies foo and everything
> satisfied bar.
> 
> Bob
> 
> >(defun foo (x) nil)
> 
> FOO
> 
> >(defun bar (x) t)
> 
> BAR
> 
> >(subtypep '(satisfies bar) '(satisfies foo))
> 
> NIL
> T
> 
> >(subtypep '(satisfies foo) '(satisfies bar))
> 
> NIL
> T
> 
> >
> 
> 
> 

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