[acl2/acl2] 449775: Added guard of (symbolp fn) to (tau-data fn).

0 views

Skip to first unread message

MattKaufmann

unread,

May 31, 2026, 6:18:06 AM (yesterday) May 31

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 4497750e0cc38e1a8415a15a8f8aef68e5f935d1
https://github.com/acl2/acl2/commit/4497750e0cc38e1a8415a15a8f8aef68e5f935d1
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-31 (Sun, 31 May 2026)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp

Log Message:
-----------
Added guard of (symbolp fn) to (tau-data fn).

Quoting :DOC note-8-8:

The macro [tau-data] now has a guard requiring its argument to be a
symbol. Thanks to Jerome Dubois and Eric Smith for a Zulip
discussion leading to this change.

Also thanks to J for helpful comments.

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

Alessandro Coglio

unread,

May 31, 2026, 8:42:56 PM (18 hours ago) May 31

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: 4497750e0cc38e1a8415a15a8f8aef68e5f935d1
https://github.com/acl2/acl2/commit/4497750e0cc38e1a8415a15a8f8aef68e5f935d1
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-31 (Sun, 31 May 2026)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M tau.lisp

Log Message:
-----------
Added guard of (symbolp fn) to (tau-data fn).

Quoting :DOC note-8-8:

The macro [tau-data] now has a guard requiring its argument to be a
symbol. Thanks to Jerome Dubois and Eric Smith for a Zulip
discussion leading to this change.

Also thanks to J for helpful comments.

Commit: f7d269746f34cbffafe8f09fd143800bfd7eaa23
https://github.com/acl2/acl2/commit/f7d269746f34cbffafe8f09fd143800bfd7eaa23
Author: Alessandro Coglio <em...@alessandrocoglio.info>