[acl2/acl2] f37843: Improved error message for #!(foo) etc. Avoided h...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f378436caf88702a9bac7d06761c8fa9550c021e
https://github.com/acl2/acl2/commit/f378436caf88702a9bac7d06761c8fa9550c021e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-02 (Tue, 02 Dec 2025)

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

Log Message:
-----------
Improved error message for #!(foo) etc. Avoided hard Lisp errors from er calls.

Quoting :DOC note-8-7:

Improved the error message when the package name is missing
immediately after `#!', as in #!(foo).

Some ill-formed hard errors, for example from calls of er, caused raw
Lisp errors. This has been fixed. Thanks to Eric Smith for
reporting this bug with an example.



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

[MattKaufmann]

Branch: refs/heads/testing