<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Jun 1, 2013 at 7:41 PM, Eric Marsden <span dir="ltr"><<a href="mailto:eric.marsden@free.fr" target="_blank">eric.marsden@free.fr</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div id=":eq" style="overflow:hidden">> (lisp-implementation-version)<br>


"13.5.1"<br>
> (defun foo ()<br>
   (typep t 'boolean))<br>
FOO<br>
> (compile 'foo)<br>
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0<br>
;;;<br>
;;; End of Pass 1.<br>
FOO<br>
NIL<br>
NIL<br>
> (foo)<br>
(T)    ;; <-- expected: T<br></div></blockquote></div><br>Your expectation is bogus. TYPEP returns a logical true, which may be any object that is not NIL. ECL translates (TYPEP X 'BOOLEAN) into (MEMBER X '(NIL T)).</div>

<div class="gmail_extra"><br></div><div class="gmail_extra"><a href="http://www.lispworks.com/documentation/HyperSpec/Body/f_typep.htm">http://www.lispworks.com/documentation/HyperSpec/Body/f_typep.htm</a></div><div class="gmail_extra">

<a href="http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_g.htm#generalized_boolean">http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_g.htm#generalized_boolean</a><br><br>Juanjo<br clear="all"><div>

<br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a>
</div></div>