You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
…nt about an ill-formed defun. Commented out a deprecated call of hons-enabled.
Quoting :DOC note-8-5-books:
The [quicklisp] libraries are now ignored for regressions of ACL2
built on LispWorks, due to an asdf version incompatibility with the
asdf.lisp provided by LispWorks Version 8.0. That problem may
become a problem for future versions of other host Lisps, as they
too update their asdf versions. Perhaps this will be fixed by
someone in the ACL2 community; see GitHub Issue #1332.
The aforementioned ill-formed defun is near the end of
books/coi/super-ihs/inductions.lisp, for function logmaskpr. In
short, LispWorks 8.0 noticed a type error, presumably from the use of
logcons with nil.
I've explained the problem here:
https://www.cs.utexas.edu/users/kaufmann/quicklisp-lw/
The text was updated successfully, but these errors were encountered: