cl-make-type-test, add atom type

[Johan Bockgård]

This patch adds the `atom' type specifier.



2005-07-12  Johan Bockgard  <address@hidden>

        * emacs-lisp/cl-macs.el (cl-make-type-test): Add `atom' type.


--- cl-macs.el  05 Jul 2005 00:41:32 +0200      1.53
+++ cl-macs.el  12 Jul 2005 13:10:15 +0200      
@@ -2384,6 +2384,7 @@
             (cl-make-type-test val (funcall (get type 'cl-deftype-handler))))
            ((memq type '(nil t)) type)
            ((eq type 'null) `(null ,val))
+           ((eq type 'atom) `(atom ,val))
            ((eq type 'float) `(floatp-safe ,val))
            ((eq type 'real) `(numberp ,val))
            ((eq type 'fixnum) `(integerp ,val))




2005-07-12  Johan Bockgard  <address@hidden>

        * cl.texi (Type Predicates): Mention `atom' type.


--- cl.texi     12 Apr 2005 22:02:09 +0200      1.23
+++ cl.texi     12 Jul 2005 13:32:16 +0200      
@@ -736,6 +736,11 @@
 @code{(null @var{object})}.
 
 @item
+The type symbol @code{atom} represents all objects that are not cons
+cells. Thus @code{(typep @var{object} 'atom)} is equivalent to
address@hidden(atom @var{object})}.
+
address@hidden
 The type symbol @code{real} is a synonym for @code{number}, and
 @code{fixnum} is a synonym for @code{integer}.


-- 
Johan Bockgård