/usr/share/acl2-8.0dfsg/books/tools/cws.lisp is in acl2-books-source 8.0dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | (in-package "ACL2")
;; Utility that prints one or more expressions and their values,
;; returning the value of the last expression.
;; For example:
#||
ACL2 !>(let ((x '(a b c)) (y '(d e f))) (cws x y))
X: (A B C)
Y: (D E F)
(D E F)
||#
(defmacro cwval (expr)
`(let ((cw-val ,expr))
(prog2$ (cw "~x0: ~x1~%" ',expr cw-val)
cw-val)))
(defun cws-fn (lst)
(if (atom lst)
nil
(cons `(cwval ,(car lst))
(cws-fn (cdr lst)))))
(defmacro cws (&rest lst)
(cons 'progn$ (cws-fn lst)))
|