(DEFINE-FILE-INFO READTABLE "INTERLISP" PACKAGE "INTERLISP")

(FILECREATED "16-May-90 14:19:02" {DSK}<usr>local>lde>lispcore>sources>CMLPRED.;2
 1886   

      changes to%:  (VARS CMLPREDCOMS)

      previous date%: "24-Oct-86 22:12:28" {DSK}<usr>local>lde>lispcore>sources>CMLPRED.;1)


(* ; "
Copyright (c) 1986, 1990 by Venue & Xerox Corporation.  All rights reserved.
")

(PRETTYCOMPRINT CMLPREDCOMS)

(RPAQQ CMLPREDCOMS
 ((FNS CL:CONSP CL:ATOM CL:LISTP CL:INTEGERP CL:SYMBOLP)
                        (OPTIMIZERS CL:ATOM CL:LISTP CL:CONSP CL:INTEGERP CL:SYMBOLP)
                        (PROP FILETYPE CMLPRED)))
(DEFINEQ

(CL:CONSP

  (LAMBDA (X)
                                                (* raf " 4-Nov-85 19:02")

    (AND (LISTP X)
         T)))

(CL:ATOM

  (LAMBDA (X)
    (NLISTP X)))

(CL:LISTP

  (LAMBDA (X)
    (OR (NULL X)
        (AND (LISTP X)
             T))))

(CL:INTEGERP

  (LAMBDA (X)
    (AND (FIXP X)
         T)))

(CL:SYMBOLP

  (LAMBDA (X)
    (LITATOM X)))
)

(DEFOPTIMIZER CL:ATOM
 (&REST ARGS)
                          (CONS 'NLISTP ARGS))

(DEFOPTIMIZER CL:LISTP
 (&REST ARGS)
                           (CONS '(OPENLAMBDA (X)
                                         (OR (NULL X)
                                             (AND (LISTP X)
                                                  T)))
                                 ARGS))

(DEFOPTIMIZER CL:CONSP
 (X)
                           `(AND (LISTP ,X)
                                 T))

(DEFOPTIMIZER CL:INTEGERP
 (X)
                              `(AND (FIXP ,X)
                                    T))

(DEFOPTIMIZER CL:SYMBOLP
 (&REST ARGS)
                             (CONS 'LITATOM ARGS))

(PUTPROPS CMLPRED
 FILETYPE
 CL:COMPILE-FILE)
(PUTPROPS CMLPRED COPYRIGHT ("Venue & Xerox Corporation" 1986 1990))
(DECLARE%: DONTCOPY
  (FILEMAP (NIL (627 1026 (CL:CONSP 637 . 778) (CL:ATOM 780 . 823) (CL:LISTP 825 . 911) (CL:INTEGERP 913
 . 975) (CL:SYMBOLP 977 . 1024)))))
STOP