← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/std/util/tests/deflist.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/std/util/tests/deflist.lisp
321
321
         (local (deflist none-listp (x)
322
322
                  (nonep x)))))
323
323
 
324
 
(local (encapsulate ()
325
 
         (local (deflist not-listp (x)
326
 
                  (not x)))))
 
324
;; (local (encapsulate ()
 
325
;;          (local (deflist not-listp (x)
 
326
;;                   (not x)))))
327
327
 
328
328
(local (encapsulate ()
329
329
         (local (deflist null-listp (x)
340
340
                  (nonep x)
341
341
                  :elementp-of-nil nil))))
342
342
 
343
 
(local (encapsulate ()
344
 
         (local (deflist not-listp (x)
345
 
                  (not x)
346
 
                  :elementp-of-nil t))))
 
343
;; (local (encapsulate ()
 
344
;;          (local (deflist not-listp (x)
 
345
;;                   (not x)
 
346
;;                   :elementp-of-nil t))))
347
347
 
348
348
(local (encapsulate ()
349
349
         (local (deflist null-listp (x)