Greetings, and thanks! Should be fixed now. Take care,
Robert Boyer <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
